Changes between Version 3 and Version 10 of Ticket #8500


Ignore:
Timestamp:
03/15/10 14:37:17 (12 years ago)
Author:
nborie
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8500

    • Property Status changed from needs_work to needs_review
    • Property Cc sage-combinat added
    • Property Authors changed from to Nicolas Borie
  • Ticket #8500 – Description

    v3 v10  
    1 TransitiveGroup are already in Sage and work only if you have the right database installed. As I offen test systematicly over all transitive groups, I will be happy to get this number in Sage.
     1depend on #8524
    22
     3The 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.
     4
     5This allows a user to do:
    36{{{
    4 sage: TransitiveGroup(7,7)
    5 Transitive group number 7 of degree 7
    6 sage: TransitiveGroup(7,8)
    7 verbose 0 (846: permgroup_named.py, __init__) Warning: Computing with TransitiveGroups requires the optional database_gap package. Please install it.
    8 Transitive group number 8 of degree 7
     7for G in TransitiveGroups(i):
     8    any_test(G)  # any test over all transitive groups of a given degree
     9
     10for G in TransitiveGroups():
     11    other_test(G) # test over all transitive groups
    912}}}
    1013
    11 I had also the set of TransitiveGroups() (The whole Gap database as a set with categories) and TransitiveGroups(degree) (The set of TransitiveGroup of a given degree with categories).
     14This will requires the optional database_gap.
     15
     16As the database of Gap is finite, the enumeration stop with a NonImplementedError at degree 30.