Ticket #4527: trac-4527-doc.patch

File trac-4527-doc.patch, 1.1 KB (added by craigcitro, 14 years ago)
  • sage/modular/abvar/abvar.py

    # HG changeset patch
    # User Craig Citro <craigcitro@gmail.com>
    # Date 1226739552 28800
    # Node ID 05ee9f7dc3161587d4a260df965e288a1d92583b
    # Parent  2e84a2780370785a309ab9797efd33cb008b3124
    Doctests for trac #4527.
    
    diff -r 2e84a2780370 -r 05ee9f7dc316 sage/modular/abvar/abvar.py
    a b  
    748748            sage: B = (A.degeneracy_map(33,1) + A.degeneracy_map(33,3)).image()
    749749            sage: B + J0(33)[2]
    750750            Abelian subvariety of dimension 2 of J0(33)       
     751
     752        TESTS:
     753        This exposed a bug in HNF (see trac #4527):
     754            sage: A = J0(206).new_subvariety().decomposition()[3] ; A # long time
     755            Simple abelian subvariety 206d(1,206) of dimension 4 of J0(206)
     756            sage: B = J0(206).old_subvariety(2) ; B # long time
     757            Abelian subvariety of dimension 16 of J0(206)
     758            sage: A+B # long time
     759            Abelian subvariety of dimension 20 of J0(206)
     760
    751761        """
    752762        if not is_ModularAbelianVariety(other):
    753763            if other == 0: