deal with bad chosen representations of k-regular sequences #21343
Milestone
Comments
|
Dependencies: #21204 |
|
Branch: u/dkrenn/k-regular-warning |
|
Changed branch from u/dkrenn/k-regular-warning to none |
dkrenn
changed the title
|
Branch: u/dkrenn/k-regular-warning |
|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
|
Commit: |
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
|
comment:7
failing doctests (cf. patchbot), python3 plugin |
|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
|
comment:9
Replying to @cheuberg:
Fixed. |
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
|
comment:15
|
|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
|
comment:17
Merged dependencies; ready for review. |
|
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
|
|
comment:19
red branch => needs work |
5 tasks
dkrenn
added a commit
to dkrenn/sage
that referenced
this issue
Jul 4, 2023
dkrenn
added a commit
to dkrenn/sage
that referenced
this issue
Jul 4, 2023
dkrenn
added a commit
to dkrenn/sage
that referenced
this issue
Jul 4, 2023
dkrenn
added a commit
to dkrenn/sage
that referenced
this issue
Jul 4, 2023
5 tasks
vbraun
pushed a commit
that referenced
this issue
Jul 30, 2023
gh-35896: deal with bad chosen representations of k-regular sequences ### 📚 Description It deals with the situation when mu[0]*right != right in k-regular sequences. Fixes #21343. This PR is created from the branch/code that has been on the corresponding trac ticket + merging in a current SageMath version. See also meta issue #21202. ### 📝 Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [x] I have created tests covering the changes. - [x] I have updated the documentation accordingly. ### ⌛ Dependencies - #21204: guessing k-regular sequences from the first few values No formal dependencies, but there are trivial merge conflicts---in both branches, methods are inserted at the same position in the code--- between: - #21343: deal with mu[0]*right != right in k-regular sequences - #35894: Regular sequences: implement convolution / ring structure URL: #35896 Reported by: Daniel Krenn Reviewer(s): cheuberg, Daniel Krenn
dkrenn
added a commit
to dkrenn/sage
that referenced
this issue
Aug 3, 2023
…ounded * u/dkrenn/k-regular-warning: Trac sagemath#21343: rename to "degenerate" and co Trac sagemath#21343: fix doctest some_elements
dkrenn
added a commit
to dkrenn/sage
that referenced
this issue
Aug 3, 2023
* t/21343/k-regular-warning: (11523 commits) Trac sagemath#21343: adapt to removed transpose-property in dependency Trac sagemath#21204: fixup code and tests Trac sagemath#21204: cherry-pick to avoid merge conflict Trac sagemath#21319: fixup due to changes in dependencies Trac sagemath#21318: fixup due to recent changes in dependencies Updated SageMath version to 9.3 build/pkgs/fplll/spkg-install.in: Configure --without-qd if we use gcc from spkg build/pkgs/fplll/spkg-configure.m4: Add depcheck on gcc build/pkgs/ppl/spkg-configure.m4: Add depcheck on gcc build/pkgs/brial/spkg-configure.m4: Add depcheck on gcc build/pkgs/{freetype,libgd}/spkg-configure.m4: Add depcheck for gcc build/pkgs/zeromq/spkg-configure.m4: Add depcheck for gcc build/pkgs/ntl/spkg-configure.m4: Add depcheck for gcc Trac sagemath#21295 review issue 29: notice minimize vs field Trac sagemath#21295 review issue 7: document accessing coefficients Trac sagemath#21295 review issue 33: rename to number_of_zeros (as it should be) Trac sagemath#21203 review issue 4: rename to coefficient ring Trac sagemath#21295: rename to coefficient_ring Trac sagemath#21203 review issue 3: example for __getitem__ and __iter__ Trac sagemath#21203 review issue 2: extend odds in Pascal's triangle ...
vbraun
pushed a commit
that referenced
this issue
Aug 5, 2023
gh-35894: Regular sequences: implement convolution / ring structure ### 📚 Description Add/implement convolution of two regular sequences, therefore making the parent a ring. Details of the algorithm: [convolution-sagemath-pr- 35894.pdf](https://github.com/sagemath/sage/files/12216984/convolution- sagemath-pr-35894.pdf) See also meta issue #21202. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. It should be `[x]` not `[x ]`. --> - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [x] I have created tests covering the changes. - [x] I have updated the documentation accordingly. ### ⌛ Dependencies No formal dependencies, but there are trivial merge conflicts---in both branches, methods are inserted at the same position in the code--- between: - #21343: deal with mu[0]*right != right in k-regular sequences - #35894: Regular sequences: implement convolution / ring structure URL: #35894 Reported by: Daniel Krenn Reviewer(s): cheuberg, Daniel Krenn
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Deal with the troubles coming from bad chosen representations of k-regular sequences, where
mu[0]*right != right. (This makes troubles as leading zeros of digit expansions should not influence the result.)Depends on #21204
Component: combinatorics
Author: Daniel Krenn
Branch/Commit: u/dkrenn/k-regular-warning @
4af416cIssue created by migration from https://trac.sagemath.org/ticket/21343
The text was updated successfully, but these errors were encountered: