Ticket #11422: trac_11422-reviewerfix.patch

File trac_11422-reviewerfix.patch, 1.7 KB (added by davidloeffler, 8 years ago)

apply over previous patch

  • sage/modular/arithgroup/arithgroup_perm.py

    # HG changeset patch
    # User David Loeffler <d.loeffler.01@cantab.net>
    # Date 1310667317 -3600
    # Node ID c6d6e154ef1f57aa37fda95325d707ab23e4ca5b
    # Parent  cba421f0a2420da360ea889edd62c2975a543e2b
    #11422: reviewer fix
    
    diff -r cba421f0a242 -r c6d6e154ef1f sage/modular/arithgroup/arithgroup_perm.py
    a b  
    13241324             S3=(1,2,3)
    13251325             L=(2,3,4)
    13261326             R=(1,4,2)
     1327
     1328            sage: H = ArithmeticSubgroup_Permutation(S2 = '(1,4,11,14)(2,7,12,17)(3,5,13,15)(6,9,16,19)(8,10,18,20)', S3 = '(1,2,3,11,12,13)(4,5,6,14,15,16)(7,8,9,17,18,19)(10,20)')
     1329            sage: G = H.to_even_subgroup(relabel=False); G
     1330            Arithmetic subgroup with permutations of right cosets
     1331             S2=(1,4)(2,7)(3,5)(6,9)(8,10)
     1332             S3=(1,2,3)(4,5,6)(7,8,9)
     1333             L=(1,5)(2,4,9,10,8)(3,7,6)
     1334             R=(1,7,10,8,6)(2,5,9)(3,4)
     1335            sage: H.is_subgroup(G)
     1336            True
    13271337        """
    13281338        N = self.index()
    13291339
    13301340        # build equivalence classes in e
    13311341        s2 = self._S2
    1332         e = set([])
     1342        e = []
     1343        e2i = [None]*N
    13331344        for i in xrange(N):
    13341345            j = s2[s2[i]]
    13351346            if i < j:
    1336                 e.add((i,j))
     1347                e2i[i] = e2i[j] = len(e)
     1348                e.append((i,j))
    13371349
    1338         # build index for equivalence classes
    1339         e2i = [None]*N  # eq. class to index
    1340         for i,(j0,j1) in enumerate(e):
    1341             e2i[j0] = i
    1342             e2i[j1] = i
    1343    
    13441350        # build the quotient permutations
    13451351        ss2 = [None]*(N/2)
    13461352        ss3 = [None]*(N/2)