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 jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:2 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:5 Changed 4 years ago by jakobkroeker

fixed?

comment:6 Changed 4 years ago by tscrim

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.