Ticket #3683: 10130.patch

File 10130.patch, 5.4 KB (added by wdj, 13 years ago)

based on sage-3.1.alpha0, as the others

  • sage/groups/matrix_gps/matrix_group.py

    # HG changeset patch
    # User David Joyner <wdjoyner@gmail.com>
    # Date 1218660182 14400
    # Node ID 39e461aa4a2ac6d44ef3b871b69786db9cf3bead
    # Parent  6417e6c84a2a6f4851d87a7702a6257624ec8f13
    removed random comments, following suggestion of Carl Witty - wdj
    
    diff -r 6417e6c84a2a -r 39e461aa4a2a sage/groups/matrix_gps/matrix_group.py
    a b  
    659659            sage: G = MatrixGroup([g1, g2, g3])
    660660            sage: G.order()
    661661            21499084800
    662             sage: current_randstate().set_seed_gap() 
    663             sage: G.as_permutation_group()                      # random output 
    664             Permutation Group with generators [(1,2)(3,7,13,25,45,5,10,19,35,57)(8,16,31,56,87,11,22,41,71,91)(14,28,51,81,46,20,38,66,98,61)(17,33,59,39,69,23,43,73,29,54)(26,48,77,49,79,36,63,94,64,96)(52,83,108,123,102,67,84,110,126,88)(112,129,139,121,127,116,132,141,114,124), (1,3,8,17)(2,5,11,23)(7,14,29,48)(10,20,39,63)(13,26,49,69)(19,36,64,54)(25,46,31,57)(28,52,84,94)(35,61,41,45)(38,67,83,77)(51,59,91,116)(56,88,114,96)(66,73,87,112)(71,102,121,79)(108,124,110,127), (1,4)(2,6)(3,9)(5,12)(7,15)(8,18)(10,21)(11,24)(13,27)(14,30)(16,32)(17,34)(19,37)(20,40)(22,42)(23,44)(25,47)(26,50)(28,53)(29,55)(31,58)(33,60)(35,62)(36,65)(38,68)(39,70)(41,72)(43,74)(45,75)(46,76)(48,78)(49,80)(51,82)(52,85)(54,86)(56,89)(57,90)(59,92)(61,93)(63,95)(64,97)(66,99)(67,100)(69,101)(71,103)(73,104)(77,105)(79,106)(81,107)(83,109)(84,111)(87,113)(88,115)(91,117)(94,118)(96,119)(98,120)(102,122)(108,125)(110,128)(112,130)(114,131)(116,133)(121,134)(123,135)(124,136)(126,137)(127,138)(129,140)(132,142)(139,143)(141,144)]
    665             sage: G.as_permutation_group(method="smaller")          # random output
    666             Permutation Group with generators [(1,2)(3,7,13,25,45,5,10,19,35,60)(8,16,30,52,65,11,22,40,67,50)(14,23,43,72,53,20,17,33,57,68)(26,48,61,87,28,36,63,46,75,38)(31,55,73,96,103,41,70,58,84,99)(78,90), (1,3,8,17)(2,5,11,23)(7,14,28,50)(10,20,38,65)(13,26,16,31)(19,36,22,41)(25,46)(30,53)(33,58)(35,61)(40,68)(43,73)(45,75,99,70)(48,78,57,84)(52,67)(55,60,87,103)(63,90,72,96), (1,4)(2,6)(3,9)(5,12)(7,15)(8,18)(10,21)(11,24)(13,27)(14,29)(16,32)(17,34)(19,37)(20,39)(22,42)(23,44)(25,47)(26,49)(28,51)(30,54)(31,56)(33,59)(35,62)(36,64)(38,66)(40,69)(41,71)(43,74)(45,76)(46,77)(48,79)(50,80)(52,81)(53,82)(55,83)(57,85)(58,86)(60,88)(61,89)(63,91)(65,92)(67,93)(68,94)(70,95)(72,97)(73,98)(75,100)(78,101)(84,102)(87,104)(90,105)(96,106)(99,107)(103,108)]
     662            sage: set_random_seed(0); current_randstate().set_seed_gap() 
     663            sage: G.as_permutation_group()     
     664            Permutation Group with generators [(2,3,5,11,20,38,14,26,43,66)(4,8,16,29,47,63,48,74,56,86)(6,13,24,41,22,27,45,69,98,67)(9,19,35,58,88,94,70,100,84,104)(17,32,52,36,60,75,108,133,101,128)(30,50,77,110,117,106,61,92,123,89)(33,55,83,81,72,103,115,137,112,119)(53,80), (2,4,9,20)(3,6,14,27)(8,17,33,56)(11,22,16,30)(13,19,36,61)(29,48,75,103)(32,53,81,92)(38,63,94,66)(43,67,74,106)(45,70,101,50)(47,72,104,128)(55,84,117,137)(58,89,83,115)(60,86,119,88)(77,108,80,112), (1,2)(3,7)(4,10)(5,12)(6,15)(8,18)(9,21)(11,23)(13,25)(14,28)(16,31)(17,34)(19,37)(20,39)(22,40)(24,42)(26,44)(27,46)(29,49)(30,51)(32,54)(33,57)(35,59)(36,62)(38,64)(41,65)(43,68)(45,71)(47,73)(48,76)(50,78)(52,79)(53,82)(55,85)(56,87)(58,90)(60,91)(61,93)(63,95)(66,96)(67,97)(69,99)(70,102)(72,105)(74,107)(75,109)(77,111)(80,113)(81,114)(83,116)(84,118)(86,120)(88,121)(89,122)(92,124)(94,125)(98,126)(100,127)(101,129)(103,130)(104,131)(106,132)(108,134)(110,135)(112,136)(115,138)(117,139)(119,140)(123,141)(128,142)(133,143)(137,144)]
     665            sage: set_random_seed(3); current_randstate().set_seed_gap() 
     666            sage: G.as_permutation_group(method="smaller")
     667            Permutation Group with generators [(1,2)(3,7,13,25,45,5,10,19,35,60)(8,16,30,41,69,11,22,40,31,54)(14,28,49,80,91,20,38,64,93,78)(17,33,57,26,48,23,43,72,36,63)(46,61)(52,73,55,76,94,67,58,70,89,81), (1,3,8,17)(2,5,11,23)(7,14)(10,20)(13,26,49,81)(16,31,55,72)(19,36,64,94)(22,41,70,57)(25,46,76,93)(28,38)(30,52,63,91)(33,58)(35,61,89,80)(40,67,48,78)(43,73)(45,69)(54,60), (1,4)(2,6)(3,9)(5,12)(7,15)(8,18)(10,21)(11,24)(13,27)(14,29)(16,32)(17,34)(19,37)(20,39)(22,42)(23,44)(25,47)(26,50)(28,51)(30,53)(31,56)(33,59)(35,62)(36,65)(38,66)(40,68)(41,71)(43,74)(45,75)(46,77)(48,79)(49,82)(52,83)(54,84)(55,85)(57,86)(58,87)(60,88)(61,90)(63,92)(64,95)(67,96)(69,97)(70,98)(72,99)(73,100)(76,101)(78,102)(80,103)(81,104)(89,105)(91,106)(93,107)(94,108)]
    667668
    668         In this case, the "smaller" option returned an isomorphic group of lower degree.
    669         The above example used GAP's library of irreducible maximal finite ("imf") integer matrix
    670         groups to construct the MatrixGroup G over GF(7). The section "Irreducible Maximal Finite
    671         Integral Matrix Groups" in the GAP reference manual has more details.
     669        In this case, the "smaller" option returned an isomorphic group of
     670        lower degree. The above example used GAP's library of irreducible maximal
     671        finite ("imf") integer matrix groups to construct the MatrixGroup G
     672        over GF(7). The section "Irreducible Maximal Finite Integral Matrix
     673        Groups" in the GAP reference manual has more details.
    672674        """       
    673675        from sage.groups.perm_gps.permgroup import PermutationGroup
    674676        F = self.base_ring()