Ticket #12835: trac_12835-doctests.patch

File trac_12835-doctests.patch, 3.0 KB (added by jpflori, 8 years ago)
  • sage/libs/fplll/fplll.pyx

    # HG changeset patch
    # User Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr>
    # Date 1369758278 -7200
    # Node ID 4f8eb47c657b95323a5d18f9e0ac1776d3226b14
    # Parent  587bbccd064286cac162be360d9a2fc2d70ce6d7
    Doctests changes for fplll 4.0.4.
    
    diff --git a/sage/libs/fplll/fplll.pyx b/sage/libs/fplll/fplll.pyx
    a b  
    653653        [-352   28  108 -328 -156  184   88  -28  -20  356]
    654654        [ 120 -219  289  298  123  170 -286  219  449 -261]
    655655        [ 160 -292   44   56  164  568  -40  292  -84 -348]
    656         [ 192  264 -152  272   -8  272  -48  760  104   -8]
     656        [-192  760  152 -272    8 -272   48  264 -104    8]
    657657        sage: L.is_LLL_reduced()
    658658        True
    659659        sage: L.echelon_form() == A.echelon_form()
  • sage/modular/etaproducts.py

    diff --git a/sage/modular/etaproducts.py b/sage/modular/etaproducts.py
    a b  
    192192            [Eta product of level 5 : (eta_1)^6 (eta_5)^-6]
    193193            sage: EtaGroup(12).basis()
    194194            [Eta product of level 12 : (eta_1)^2 (eta_2)^1 (eta_3)^2 (eta_4)^-1 (eta_6)^-7 (eta_12)^3,
    195             Eta product of level 12 : (eta_1)^-2 (eta_2)^3 (eta_3)^6 (eta_4)^-1 (eta_6)^-9 (eta_12)^3,
    196             Eta product of level 12 : (eta_1)^-3 (eta_2)^2 (eta_3)^1 (eta_4)^-1 (eta_6)^-2 (eta_12)^3,
     195            Eta product of level 12 : (eta_1)^-4 (eta_2)^2 (eta_3)^4 (eta_6)^-2,
     196            Eta product of level 12 : (eta_1)^-1 (eta_2)^3 (eta_3)^3 (eta_4)^-2 (eta_6)^-9 (eta_12)^6,
    197197            Eta product of level 12 : (eta_1)^1 (eta_2)^-1 (eta_3)^-3 (eta_4)^-2 (eta_6)^7 (eta_12)^-2,
    198198            Eta product of level 12 : (eta_1)^-6 (eta_2)^9 (eta_3)^2 (eta_4)^-3 (eta_6)^-3 (eta_12)^1]
    199199            sage: EtaGroup(12).basis(reduce=False) # much bigger coefficients
     
    416415        EXAMPLES::
    417416       
    418417            sage: eta1, eta2 = EtaGroup(4).basis() # indirect doctest
    419             sage: eta1 * eta2 
    420             Eta product of level 4 : (eta_2)^24 (eta_4)^-24
     418            sage: eta1 * eta2
     419            Eta product of level 4 : (eta_1)^8 (eta_4)^-8
    421420        """
    422421        newdict = {}
    423422        for d in union(self._keys, other._keys):
     
    432431       
    433432            sage: eta1, eta2 = EtaGroup(4).basis()
    434433            sage: eta1 / eta2 # indirect doctest
    435             Eta product of level 4 : (eta_1)^-16 (eta_2)^24 (eta_4)^-8
     434            Eta product of level 4 : (eta_1)^-24 (eta_2)^48 (eta_4)^-24
    436435            sage: (eta1 / eta2) * eta2 == eta1
    437436            True
    438437        """
     
    965964        sage: from sage.modular.etaproducts import _eta_relations_helper
    966965        sage: r,s = EtaGroup(4).basis()
    967966        sage: _eta_relations_helper(r,s,4,100,['a','b'],False)
    968         [a - b - 16]
     967        [a*b - a + 16]
    969968        sage: _eta_relations_helper(EtaProduct(26, {2:2,13:2,26:-2,1:-2}),EtaProduct(26, {2:4,13:2,26:-4,1:-2}),3,12,['a','b'],False) # not enough terms, will return rubbish
    970969        [1]
    971970    """