Opened 10 years ago

Last modified 6 years ago

## #14293 new defect

# Matrix groups don't satisfy a requirement of finite enumerated sets

Reported by: | David Roe | 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 9 years ago by

Milestone: | sage-5.11 → sage-5.12 |
---|

### comment:2 Changed 9 years ago by

Milestone: | sage-6.1 → sage-6.2 |
---|

### comment:3 Changed 9 years ago by

Milestone: | sage-6.2 → sage-6.3 |
---|

### comment:4 Changed 8 years ago by

Milestone: | sage-6.3 → sage-6.4 |
---|

### comment:5 Changed 6 years ago by

### comment:6 Changed 6 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?