Changes between Version 11 and Version 16 of Ticket #8500


Ignore:
Timestamp:
04/19/10 17:33:14 (12 years ago)
Author:
nthiery
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8500

    • Property Status changed from needs_review to positive_review
    • Property Keywords groups added; group removed
    • Property Reviewers changed from to Nicolas M. Thiéry
  • Ticket #8500 – Description

    v11 v16  
    1 depends on #8524
    2 
    3 The goal of this patch is implement a proper infinite set of category InfiniteEnumeratedSet of transitive groups. This set is built as a disjoint union of Finite Enumerated Sets of all set of Transitive groups of a given degree.
     1This patch implements the finite enumerated set of transitive
     2permutation groups of a given degree, and the infinite enumerated set
     3of all transitive permutation groups. The later is built as a disjoint
     4union of the former.
    45
    56This allows a user to do:
    67{{{
    7 for G in TransitiveGroups(i):
    8     any_test(G)  # any test over all transitive groups of a given degree
     8sage: TransitiveGroups(4).cardinality()
    99
    10 for G in TransitiveGroups():
    11     other_test(G) # test over all transitive groups
     10sage: for G in TransitiveGroups(i):
     11...       any_test(G)  # any test over all transitive groups of a given degree
     12
     13sage: for G in TransitiveGroups():
     14...       other_test(G) # test over all transitive groups
    1215}}}
    1316
    14 This will requires the optional database_gap.
     17This requires the optional database_gap which contains all the
     18transitive permutation groups of degree <= 30. Therefore, in practice,
     19the enumeration stops with a NonImplementedError at degree 30.
    1520
    16 As the database of Gap is finite, the enumeration stop with a NonImplementedError at degree 30.
     21Depends on #8524.