Opened 7 years ago
Last modified 4 years ago
#14293 new defect
Matrix groups don't satisfy a requirement of finite enumerated sets
Reported by: | roed | Owned by: | joyner |
---|---|---|---|
Priority: | minor | Milestone: | sage-6.4 |
Component: | group theory | Keywords: | |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #14284 | Stopgaps: |
Description
Finite enumerated sets require that their list
methods and iter
methods return elements in the same order. This is tested in sage.categories.enumerated_sets.EnumeratedSets.ParentMethods._test_enumerated_set_iter_list
, but the test is not run if the number of elements is larger than a bound. #14284 changed that bound from 100 to 729, revealing the following bug:
sage: G = GL(2, 5) sage: TestSuite(G).run() # G.max_test_enumerated_set_loop = 500; TestSuite(G).run() # before :trac:`14284` Traceback (most recent call last): ... AssertionError: [2 0] [0 1] != [0 1] [1 0]
Change History (6)
comment:1 Changed 7 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:2 Changed 6 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:3 Changed 6 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:4 Changed 6 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:5 Changed 4 years ago by
comment:6 Changed 4 years ago by
It is not clear because GL(2,5)
is no longer in the category of (finite) enumerated sets.
Note: See
TracTickets for help on using
tickets.
fixed?