Ticket #11429: trac_11429_fix_doctests.patch

File trac_11429_fix_doctests.patch, 4.8 KB (added by vbraun, 11 years ago)

Rebased patch

  • sage/schemes/generic/toric_divisor.py 

    # HG changeset patch
# User Volker Braun <vbraun@stp.dias.ie>
# Date 1323987866 0
# Node ID 2dbcae4b68ea2248816d8a62df92bd4dc74fee06
# Parent  28c4f191e4592696b12c98d267c112aec27a9f10
Trac #11429: Fix doctests because the ordering of points changed

diff --git a/sage/schemes/generic/toric_divisor.py b/sage/schemes/generic/toric_divisor.py
    a b  
    120120    sage: H = P2.divisor(0); H
    121121    V(x)
    122122    sage: H.sections()
    123     (M(0, 0), M(-1, 0), M(-1, 1))
     123    (M(-1, 0), M(-1, 1), M(0, 0))
    124124    sage: H.sections_monomials()
    125     (x, z, y)
     125    (z, y, x)
    126126
    127127Note that the space of sections is always spanned by
    128128monomials. Therefore, we can grade the sections (as homogeneous
    … …  
    12841284            [A vertex at (1, -1), A vertex at (0, 1), A vertex at (1, 0),
    12851285             A vertex at (-1, 1), A vertex at (-1, -1)]
    12861286            sage: P_antiK.integral_points()
    1287             [(1, -1), (0, 1), (1, 0), (-1, 1), (-1, -1), (-1, 0), (0, -1), (0, 0)]
     1287            ((-1, -1), (-1, 0), (-1, 1), (0, -1), (0, 0), (0, 1), (1, -1), (1, 0))
    12881288
    12891289        Example 6.1.3, 6.1.11, 6.1.17 of [CLS]_::
    12901290
    … …  
    13211321             An inequality (0, 0, -1) x + 1 >= 0, An inequality (0, 1, 2) x + 1 >= 0,
    13221322             An inequality (0, 1, 3) x + 1 >= 0, An inequality (1, 0, 4) x + 1 >= 0]
    13231323            sage: P_D.integral_points()
    1324             [(1, 1, 1), (1, -3, 1), (-5, 1, 1), (-5, -3, 1), (0, 1, 1),
    1325              (-1, 1, 1), (-2, 1, 1), (-3, 1, 1), (-4, 1, 1), (1, 0, 1),
    1326              (0, 0, 1), (-1, 0, 1), (-2, 0, 1), (-3, 0, 1), (-4, 0, 1),
    1327              (-5, 0, 1), (1, -1, 1), (0, -1, 1), (-1, -1, 1), (-2, -1, 1),
    1328              (-3, -1, 1), (-4, -1, 1), (-5, -1, 1), (1, -2, 1), (0, -2, 1),
    1329              (-1, -2, 1), (-2, -2, 1), (-3, -2, 1), (-4, -2, 1), (-5, -2, 1),
    1330              (0, -3, 1), (-1, -3, 1), (-2, -3, 1), (-3, -3, 1), (-4, -3, 1),
    1331              (1, 1, 0), (0, 1, 0), (-1, 1, 0), (1, 0, 0), (0, 0, 0), (-1, 0, 0),
    1332              (1, -1, 0), (0, -1, 0), (-1, -1, 0)]
     1324            ((-1, -1, 0), (0, -1, 0), (1, -1, 0), (-1, 0, 0), (0, 0, 0),
     1325             (1, 0, 0), (-1, 1, 0), (0, 1, 0), (1, 1, 0), (-5, -3, 1),
     1326             (-4, -3, 1), (-3, -3, 1), (-2, -3, 1), (-1, -3, 1), (0, -3, 1),
     1327             (1, -3, 1), (-5, -2, 1), (-4, -2, 1), (-3, -2, 1), (-2, -2, 1),
     1328             (-1, -2, 1), (0, -2, 1), (1, -2, 1), (-5, -1, 1), (-4, -1, 1),
     1329             (-3, -1, 1), (-2, -1, 1), (-1, -1, 1), (0, -1, 1), (1, -1, 1),
     1330             (-5, 0, 1), (-4, 0, 1), (-3, 0, 1), (-2, 0, 1), (-1, 0, 1),
     1331             (0, 0, 1), (1, 0, 1), (-5, 1, 1), (-4, 1, 1), (-3, 1, 1),
     1332             (-2, 1, 1), (-1, 1, 1), (0, 1, 1), (1, 1, 1))
    13331333        """
    13341334        try:
    13351335            return self._polyhedron
    … …  
    13581358            sage: P2.fan().nrays()
    13591359            3
    13601360            sage: P2.divisor(0).sections()
    1361             (M(0, 0), M(-1, 0), M(-1, 1))
     1361            (M(-1, 0), M(-1, 1), M(0, 0))
    13621362            sage: P2.divisor(1).sections()
    1363             (M(0, 0), M(0, -1), M(1, -1))
     1363            (M(0, -1), M(0, 0), M(1, -1))
    13641364            sage: P2.divisor(2).sections()
    1365             (M(0, 1), M(1, 0), M(0, 0))
     1365            (M(0, 0), M(0, 1), M(1, 0))
    13661366
    13671367        The divisor can be non-nef yet still have sections::
    13681368
    … …  
    14061406            sage: P2.fan().nrays()
    14071407            3
    14081408            sage: P2.divisor(0).sections_monomials()
    1409             (x, z, y)
     1409            (z, y, x)
    14101410            sage: P2.divisor(1).sections_monomials()
    1411             (y, z, x)
     1411            (z, y, x)
    14121412            sage: P2.divisor(2).sections_monomials()
    1413             (y, x, z)
     1413            (z, y, x)
    14141414           
    14151415        From [CoxTutorial]_ page 38::
    14161416
    … …  
    14211421            sage: dP7 = ToricVariety( FaceFan(lp), 'x1, x2, x3, x4, x5')
    14221422            sage: AK = -dP7.K()
    14231423            sage: AK.sections()
    1424             (M(-1, 1), M(1, 1), M(1, -1), M(0, -1),
    1425              M(-1, 0), M(1, 0), M(0, 0), M(0, 1))
     1424            (M(-1, 0), M(-1, 1), M(0, -1), M(0, 0),
     1425             M(0, 1), M(1, -1), M(1, 0), M(1, 1))
    14261426            sage: AK.sections_monomials()
    1427             (x2*x3^2*x4^2, x1^2*x2^3*x3^2, x1^2*x2*x5^2, x1*x4*x5^2,
    1428              x3*x4^2*x5, x1^2*x2^2*x3*x5, x1*x2*x3*x4*x5, x1*x2^2*x3^2*x4)
    1429            
     1427            (x3*x4^2*x5, x2*x3^2*x4^2, x1*x4*x5^2, x1*x2*x3*x4*x5,
     1428             x1*x2^2*x3^2*x4, x1^2*x2*x5^2, x1^2*x2^2*x3*x5, x1^2*x2^3*x3^2)
     1429
    14301430        REFERENCES:
    14311431       
    14321432        ..  [CoxTutorial]
    … …  
    18031803            sage: D6 = dP6.divisor(5)
    18041804            sage: D = -D3 + 2*D5 - D6
    18051805            sage: D.cohomology_support()
    1806             (M(2, 0), M(1, 0), M(0, 0), M(1, 1))
     1806            (M(0, 0), M(1, 0), M(2, 0), M(1, 1))
    18071807        """
    18081808        X = self.parent().scheme()
    18091809        M = X.fan().dual_lattice()