Opened 3 years ago
Closed 3 years ago
#25478 closed defect (fixed)
Fix bug in is_regular
Reported by: | tdouvropoulos | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.3 |
Component: | combinatorics | Keywords: | reflection groups, days93.51 |
Cc: | tscrim, stumpc5 | Merged in: | |
Authors: | Theo Douvropoulos | Reviewers: | Travis Scrimshaw |
Report Upstream: | N/A | Work issues: | |
Branch: | e0a1db4 (Commits, GitHub, GitLab) | Commit: | e0a1db494a16371a37877b7d6b1c4de0b8ecbcaf |
Dependencies: | Stopgaps: |
Description
The function is_regular for elements of complex reflection groups has a bug.
For example, the following code gives:
sage: W=ReflectionGroup(["A",5]) sage: w=W.from_reduced_word([1,2,3,5]) sage: w.is_regular(4) True
The element w above is (1234)(56), and is not regular. Its order isn't even a regular number.
Change History (18)
comment:1 Changed 3 years ago by
- Branch set to public/combinat/fix_is_regular
- Commit set to a13f83929ab2337e59f7074d2d87535b3f0a83e7
- Reviewers set to Travis Scrimshaw
- Status changed from new to needs_review
comment:2 Changed 3 years ago by
- Commit changed from a13f83929ab2337e59f7074d2d87535b3f0a83e7 to 1677bfc1d580bcca4b7b315c92e04b99a6668a10
Branch pushed to git repo; I updated commit sha1. New commits:
1677bfc | Added test documentation in is_regular
|
comment:3 Changed 3 years ago by
- Commit changed from 1677bfc1d580bcca4b7b315c92e04b99a6668a10 to e104f570b181931d289d2277651c6401063ffcfa
Branch pushed to git repo; I updated commit sha1. New commits:
e104f57 | Fixed examples.
|
comment:4 Changed 3 years ago by
- Commit changed from e104f570b181931d289d2277651c6401063ffcfa to 4f119e4841e8269572d08393ab990f7fe83b23a2
Branch pushed to git repo; I updated commit sha1. New commits:
4f119e4 | Improved code
|
comment:5 Changed 3 years ago by
- Commit changed from 4f119e4841e8269572d08393ab990f7fe83b23a2 to b25ec8f7935049d517d9e0e137b4c0125859dba1
Branch pushed to git repo; I updated commit sha1. New commits:
b25ec8f | Some changes and simplifications to the code.
|
comment:6 Changed 3 years ago by
- Commit changed from b25ec8f7935049d517d9e0e137b4c0125859dba1 to c70c41c68fe279cb5d37aa47098f101aa95696aa
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
c70c41c | Some changes and simplifications to the code.
|
comment:7 Changed 3 years ago by
- Keywords changed from reflection groups,days 93.51 to reflection groups, days 93.51
If my changes look good, then positive review.
comment:8 Changed 3 years ago by
- Commit changed from c70c41c68fe279cb5d37aa47098f101aa95696aa to ab41798f674ef9a81fa83a6c92ecc8044d4d2752
Branch pushed to git repo; I updated commit sha1. New commits:
ab41798 | Fixed bug in code
|
comment:9 Changed 3 years ago by
The base change to the Universal cyclotomic field needs to happen every time including the crystallographic groups. The eigenvectors of elements in crystallographic groups are not always defined over Q.
comment:10 Changed 3 years ago by
oh yes...
comment:11 Changed 3 years ago by
- Commit changed from ab41798f674ef9a81fa83a6c92ecc8044d4d2752 to cdf429de05279336b9a60bfa4cad7fc7486b684f
Branch pushed to git repo; I updated commit sha1. New commits:
cdf429d | Simplified code
|
comment:12 Changed 3 years ago by
- Keywords days93.51 added; days 93.51 removed
comment:13 Changed 3 years ago by
- Commit changed from cdf429de05279336b9a60bfa4cad7fc7486b684f to 426248ca36c975a738d342f740313b321b55239d
Branch pushed to git repo; I updated commit sha1. New commits:
596b2f7 | Implement fake degree polynomials from Chevie.
|
dd7c992 | Improved code and description
|
16f6c87 | Reviewer changes for fake_degrees.
|
531cc09 | Adding Malle's Coxeter numbers
|
627c973 | Small modifications
|
b49d8b7 | Reviewer changes.
|
4ac2eda | Merge branch 'public/combinat/Malle-Coxeter-number' into public/combinat/fake_degree_polys
|
10b07ba | Merge branch 'public/combinat/fix_is_regular' of trac.sagemath.org:sage into public/combinat/fix_is_regular
|
426248c | Some last little changes.
|
comment:14 Changed 3 years ago by
- Commit changed from 426248ca36c975a738d342f740313b321b55239d to 582e7b043be1614e3134d94e436121a66ead164b
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
582e7b0 | Some last little changes.
|
comment:15 Changed 3 years ago by
- Status changed from needs_review to positive_review
comment:16 Changed 3 years ago by
- Commit changed from 582e7b043be1614e3134d94e436121a66ead164b to e0a1db494a16371a37877b7d6b1c4de0b8ecbcaf
- Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
e0a1db4 | Fixed minor typo
|
comment:17 Changed 3 years ago by
- Status changed from needs_review to positive_review
comment:18 Changed 3 years ago by
- Branch changed from public/combinat/fix_is_regular to e0a1db494a16371a37877b7d6b1c4de0b8ecbcaf
- Resolution set to fixed
- Status changed from positive_review to closed
New commits:
Fixing is_regular for complex reflection groups.