Ticket #9511: trac_9511_givaro_3_7_x.patch

File trac_9511_givaro_3_7_x.patch, 21.5 KB (added by malb, 10 years ago)

  • module_list.py 

    # HG changeset patch
# User Martin Albrecht <martinralbrecht@googlemail.com>
# Date 1339422258 -3600
# Node ID 2e87bb38f2217283f003e48e60870c526252b16f
# Parent  7871b851103379c8ddf6bb818006b8acb4b414d1
#9511 update Givaro to 3.7.0 (patch applies to Sage 5.1.beta5 and above)

diff --git a/module_list.py b/module_list.py
    a b  
    7272
    7373singular_libs = ['m', 'readline', 'singular', 'givaro', 'ntl', 'gmpxx', 'gmp']
    7474
     75
     76#########################################################
     77### Givaro flags
     78#########################################################
     79
     80givaro_extra_compile_args =['-D__STDC_LIMIT_MACROS']
     81
    7582#########################################################
    7683### PolyBoRi defines
    7784#########################################################
    … …  
    608615              libraries = ['linboxsage', 'ntl', 'linbox',
    609616                           'stdc++', 'givaro', 'gmp', 'gmpxx', BLAS, BLAS2],
    610617              language = 'c++',
     618              extra_compile_args = givaro_extra_compile_args,
    611619              depends = [SAGE_INC + 'givaro/givconfig.h']),
    612620
    613621    Extension('sage.libs.lcalc.lcalc_Lfunction',
    … …  
    662670              libraries = singular_libs,
    663671              language="c++",
    664672              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    665               depends = singular_depends),
     673              depends = singular_depends,
     674              extra_compile_args = givaro_extra_compile_args),
    666675   
    667676    Extension('sage.libs.singular.polynomial',
    668677              sources = ['sage/libs/singular/polynomial.pyx'],
    669678              libraries = singular_libs,
    670679              language="c++",
    671680              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    672               depends = singular_depends),
     681              depends = singular_depends,
     682              extra_compile_args = givaro_extra_compile_args),
    673683
    674684    Extension('sage.libs.singular.ring',
    675685              sources = ['sage/libs/singular/ring.pyx'],
    676686              libraries = singular_libs,
    677687              language="c++",
    678688              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    679               depends = singular_depends),
     689              depends = singular_depends,
     690              extra_compile_args = givaro_extra_compile_args),
    680691
    681692    Extension('sage.libs.singular.groebner_strategy',
    682693              sources = ['sage/libs/singular/groebner_strategy.pyx'],
    683694              libraries = singular_libs,
    684695              language="c++",
    685696              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    686               depends = singular_depends),
     697              depends = singular_depends,
     698              extra_compile_args = givaro_extra_compile_args),
    687699
    688700    Extension('sage.libs.singular.function',
    689701              sources = ['sage/libs/singular/function.pyx'],
    690702              libraries = singular_libs,
    691703              language="c++",
    692704              include_dirs = [SAGE_INC +'singular', SAGE_INC + 'factory'],
    693               depends = singular_depends),
     705              depends = singular_depends,
     706              extra_compile_args = givaro_extra_compile_args),
    694707
    695708    Extension('sage.libs.singular.option',
    696709              sources = ['sage/libs/singular/option.pyx'],
    697710              libraries = singular_libs,
    698711              language="c++",
    699712              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    700               depends = singular_depends),
     713              depends = singular_depends,
     714              extra_compile_args = givaro_extra_compile_args),
    701715
    702716    Extension('sage.libs.symmetrica.symmetrica',
    703717              sources = ["sage/libs/symmetrica/%s"%s for s in ["symmetrica.pyx"]],
    … …  
    960974              libraries = ['m4rie', 'm4ri', 'givaro', 'ntl', 'gmpxx', 'gmp', 'm', 'stdc++'],
    961975              depends = [SAGE_INC + "m4rie/m4rie.h"],
    962976              include_dirs = [SAGE_INC + 'm4rie'],
    963               extra_compile_args = m4ri_extra_compile_args,
     977              extra_compile_args = m4ri_extra_compile_args + givaro_extra_compile_args,
    964978              language="c++"),
    965979
    966980    Extension('sage.matrix.matrix_modn_dense',
    … …  
    971985              sources = ['sage/matrix/matrix_modn_dense_float.pyx'],
    972986              language="c++",
    973987              libraries = ['gmp', 'linbox', 'givaro', BLAS, BLAS2],
    974               extra_compile_args = ['-DDISABLE_COMMENTATOR']),
     988              extra_compile_args = ['-DDISABLE_COMMENTATOR'] + givaro_extra_compile_args),
    975989
    976990    Extension('sage.matrix.matrix_modn_dense_double',
    977991              sources = ['sage/matrix/matrix_modn_dense_double.pyx'],
    978992              language="c++",
    979993              libraries = ['gmp', 'linbox', 'givaro', BLAS, BLAS2],
    980               extra_compile_args = ['-DDISABLE_COMMENTATOR']),
     994              extra_compile_args = ['-DDISABLE_COMMENTATOR'] + givaro_extra_compile_args),
    981995
    982996    Extension('sage.matrix.matrix_modn_sparse',
    983997              sources = ['sage/matrix/matrix_modn_sparse.pyx'],
    … …  
    9881002              libraries = singular_libs,
    9891003              language="c++",
    9901004              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    991               depends = singular_depends),
     1005              depends = singular_depends,
     1006              extra_compile_args = givaro_extra_compile_args),
    9921007
    9931008    #Extension('sage.matrix.matrix_pid_dense',
    9941009    #          sources = ['sage/matrix/matrix_pid_dense.pyx']),
    … …  
    14361451              sources = ["sage/rings/finite_rings/element_givaro.pyx"],
    14371452              # this order is needed to compile under windows.
    14381453              libraries = ['givaro', 'ntl', 'gmpxx', 'gmp', 'm', 'stdc++', ],
    1439               language='c++'),
     1454              language='c++',
     1455              extra_compile_args = givaro_extra_compile_args),
    14401456
    14411457    Extension('sage.rings.finite_rings.element_ntl_gf2e',
    14421458              sources = ['sage/rings/finite_rings/element_ntl_gf2e.pyx'],
    … …  
    15761592              libraries = singular_libs,
    15771593              language="c++",
    15781594              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    1579               depends = singular_depends),
     1595              depends = singular_depends,
     1596              extra_compile_args = givaro_extra_compile_args),
    15801597
    15811598    Extension('sage.rings.polynomial.plural',
    15821599              sources = ['sage/rings/polynomial/plural.pyx'],
    15831600              libraries = ['m', 'readline', 'singular', 'givaro', 'gmpxx', 'gmp'],
    15841601              language="c++",
    15851602              include_dirs = [SAGE_ROOT +'/local/include/singular'],
    1586               depends = [SAGE_ROOT + "/local/include/libsingular.h"]),
     1603              depends = [SAGE_ROOT + "/local/include/libsingular.h"],
     1604              extra_compile_args = givaro_extra_compile_args),
    15871605
    15881606    Extension('sage.rings.polynomial.multi_polynomial_libsingular',
    15891607              sources = ['sage/rings/polynomial/multi_polynomial_libsingular.pyx'],
    15901608              libraries = singular_libs,
    15911609              language="c++",
    15921610              include_dirs = [SAGE_INC + 'singular', SAGE_INC + 'factory'],
    1593               depends = singular_depends),
     1611              depends = singular_depends,
     1612              extra_compile_args = givaro_extra_compile_args),
    15941613
    15951614    Extension('sage.rings.polynomial.multi_polynomial_ring_generic',
    15961615              sources = ['sage/rings/polynomial/multi_polynomial_ring_generic.pyx']),

  • sage/matrix/constructor.py 

    diff --git a/sage/matrix/constructor.py b/sage/matrix/constructor.py
    a b  
    10641064
    10651065        sage: K.<a>=FiniteField(3^2)
    10661066        sage: random_matrix(K, 2, 5)
    1067         [      1     2*a       1   a + 2       2]
    1068         [      a 2*a + 1       0       2       1]
    1069        
     1067        [      1       a       1 2*a + 1       2]
     1068        [    2*a   a + 2       0       2       1]
     1069
    10701070        sage: random_matrix(RR, 3, 4, density=0.66)
    10711071        [ 0.000000000000000 -0.806696574554030 -0.693915509972359  0.000000000000000]
    10721072        [ 0.629781664418083  0.000000000000000 -0.833709843116637  0.000000000000000]

  • sage/matrix/matrix2.pyx 

    diff --git a/sage/matrix/matrix2.pyx b/sage/matrix/matrix2.pyx
    a b  
    98109810            sage: A.is_symmetric()
    98119811            True
    98129812            sage: L = A.cholesky()
    9813             sage: L
    9814             [            3             0             0]
    9815             [    4*a^2 + 1             1             0]
    9816             [      3*a + 2 a^2 + 2*a + 3             3]
    98179813            sage: L*L.transpose() == A
    98189814            True
    98199815

  • sage/matrix/matrix_space.py 

    diff --git a/sage/matrix/matrix_space.py b/sage/matrix/matrix_space.py
    a b  
    14911491            [  -3 -1/3   -1]
    14921492            [   0   -1    1]
    14931493            sage: Mat(GF(9,'a'),3,sparse=True).random_element()
    1494             [    2*a       a       1]
    1495             [      2       1 2*a + 1]
    1496             [      a       2       2]
     1494            [    a   2*a     1]
     1495            [    2     1 a + 2]
     1496            [  2*a     2     2]
    14971497        """
    14981498        Z = self.zero_matrix().__copy__()
    14991499        if density is None:

  • sage/rings/finite_rings/constructor.py 

    diff --git a/sage/rings/finite_rings/constructor.py b/sage/rings/finite_rings/constructor.py
    a b  
    7777    sage: k = GF(9, 'a')
    7878    sage: for i,x in enumerate(k):  print i,x
    7979    0 0
    80     1 2*a
     80    1 a
    8181    2 a + 1
    82     3 a + 2
     82    3 2*a + 1
    8383    4 2
    84     5 a
     84    5 2*a
    8585    6 2*a + 2
    86     7 2*a + 1
     86    7 a + 2
    8787    8 1
    8888    sage: for a in GF(5):
    8989    ...    print a

  • sage/rings/finite_rings/element_givaro.pxd 

    diff --git a/sage/rings/finite_rings/element_givaro.pxd b/sage/rings/finite_rings/element_givaro.pxd
    a b  
    88    pass
    99
    1010cdef extern from "givaro/givrandom.h":
    11     ctypedef struct GivRandom "GivRandom":
     11    ctypedef struct GivRandom "Givaro::GivRandom":
    1212        pass
    1313
    14     GivRandom GivRandomSeeded  "GivRandom"(unsigned long seed)
     14    GivRandom GivRandomSeeded  "Givaro::GivRandom"(unsigned long seed)
    1515
    1616cdef extern from "givaro/givgfq.h":
    1717    ctypedef struct intvec "std::vector<unsigned int>":
    … …  
    2323
    2424cdef extern from "givaro/givgfq.h":
    2525
    26     ctypedef struct GivaroGfq "GFqDom<int>":
     26    ctypedef struct GivaroGfq "Givaro::GFqDom<int>":
    2727        #attributes
    2828        unsigned int one
    2929        unsigned int zero
    … …  
    4242        int (* random)(GivRandom gen, int res)
    4343        int (* initi "init")(int res, int e)
    4444        int (* initd "init")(int res, double e)
    45         int (* axpyin)(int r, int a, int x)
    4645        int (* sage_generator)() # SAGE specific method, not found upstream
    4746        int (* convert)(int r, int p)
    4847        int (* read)(int r, int p)
     48        int (* axpyin)(int r, int a, int x)
    4949        int (* axpy)(int r, int a, int b, int c)
    5050        int (* axmy)(int r, int a, int b, int c)
    51         int (* amxy)(int r, int a, int b, int c)
     51        int (* maxpy)(int r, int a, int b, int c)
    5252        bint (* isZero)(int e)
    5353        bint (* isOne)(int e)
    5454        bint (* isunit)(int e)
    5555
    56     GivaroGfq *gfq_factorypk "new GFqDom<int>" (unsigned int p, unsigned int k)
     56    GivaroGfq *gfq_factorypk "new Givaro::GFqDom<int>" (unsigned int p, unsigned int k)
    5757    # SAGE specific method, not found upstream
    58     GivaroGfq *gfq_factorypkp "new GFqDom<int>" (unsigned int p, unsigned int k, intvec poly)
    59     GivaroGfq *gfq_factorycopy "new GFqDom<int>"(GivaroGfq orig)
     58    GivaroGfq *gfq_factorypkp "new Givaro::GFqDom<int>" (unsigned int p, unsigned int k, intvec poly)
     59    GivaroGfq *gfq_factorycopy "new Givaro::GFqDom<int>"(GivaroGfq orig)
    6060    GivaroGfq  gfq_deref "*"(GivaroGfq *orig)
    6161    void delete "delete "(void *o)
    62     int gfq_element_factory "GFqDom<int>::Element"()
     62    int gfq_element_factory "Givaro::GFqDom<int>::Element"()
    6363
    6464cdef class FiniteField_givaroElement(FinitePolyExtElement) #forward declaration
    6565

  • sage/rings/finite_rings/element_givaro.pyx 

    diff --git a/sage/rings/finite_rings/element_givaro.pyx b/sage/rings/finite_rings/element_givaro.pyx
    a b  
    212212            sage: sage.rings.finite_rings.finite_field_givaro.FiniteField_givaro(9,repr='int').gen()
    213213            3
    214214            sage: sage.rings.finite_rings.finite_field_givaro.FiniteField_givaro(9,repr='log').gen()
    215             5
     215            1
    216216        """
    217217        # we are calling late_import here because this constructor is
    218218        # called at least once before any arithmetic is performed.
    … …  
    351351        EXAMPLES:
    352352            sage: k = GF(23**3, 'a')
    353353            sage: e = k._cache.random_element(); e
    354             9*a^2 + 10*a + 3
     354            2*a^2 + 14*a + 21
    355355            sage: type(e)
    356356            <type 'sage.rings.finite_rings.element_givaro.FiniteField_givaroElement'>
    357357
    358358            sage: P.<x> = PowerSeriesRing(GF(3^3, 'a'))
    359359            sage: P.random_element(5)
    360             a^2 + 2*a + 1 + (a + 1)*x + (a^2 + a + 1)*x^2 + (a^2 + 1)*x^3 + (2*a^2 + a)*x^4 + O(x^5)
     360            2*a + 2 + (a^2 + a + 2)*x + (2*a + 1)*x^2 + (2*a^2 + a)*x^3 + 2*a^2*x^4 + O(x^5)
    361361        """
    362362        cdef int seed = current_randstate().c_random()
    363363        cdef int res
    … …  
    625625            return self._element_int_repr(e)
    626626
    627627    def _element_log_repr(self, FiniteField_givaroElement e):
    628         r"""
    629         Return str(i) where \code{base.gen()^i==self}.
    630 
    631         TODO -- this isn't what it does -- see below.
     628        """
     629        Return ``str(i)`` where ``self` is ``gen^i`` with ``gen``
     630        being the *internal* multiplicative generator of this finite
     631        field.
    632632
    633633        EXAMPLES:
    634634            sage: k.<a> = GF(3^4); k
    635635            Finite Field in a of size 3^4
    636636            sage: k._cache._element_log_repr(a^20)
    637637            '20'
    638             sage: k._cache._element_log_repr(a)    # TODO -- why 41 ?? why not 1?
    639             '41'
     638            sage: k._cache._element_log_repr(a)
     639            '1'
    640640        """
    641641        return str(int(e.element))
    642642
    … …  
    750750        """
    751751        cdef int r
    752752
    753         r = self.objectptr.amxy(r , a.element, b.element, c.element, )
     753        r = self.objectptr.maxpy(r , a.element, b.element, c.element, )
    754754        return make_FiniteField_givaroElement(self,r)
    755755
    756756    def __reduce__(self):
    … …  
    819819            sage: i.next()
    820820            0
    821821            sage: i.next()
    822             2*a
     822            a
    823823        """
    824824
    825825        self.iterator=self.iterator+1
    … …  
    899899
    900900            sage: k.<FOOBAR> = GF(3^4,repr='log')
    901901            sage: FOOBAR
    902             41
     902            1
    903903           
    904904            sage: k.<FOOBAR> = GF(3^4,repr='int')
    905905            sage: FOOBAR
    … …  
    14781478            sage: k.<b> = GF(5^2); k
    14791479            Finite Field in b of size 5^2
    14801480            sage: (b+2).log_repr()
    1481             '3'
     1481            '15'
    14821482        """
    14831483        return self._cache._element_log_repr(self)
    14841484   

  • sage/rings/finite_rings/finite_field_base.pyx 

    diff --git a/sage/rings/finite_rings/finite_field_base.pyx b/sage/rings/finite_rings/finite_field_base.pyx
    a b  
    5454
    5555            sage: K.<a> = GF(7^4)
    5656            sage: K.list()[:7]
    57             [0, 6*a, a^2, 6*a^3, 2*a^2 + 3*a + 4, 5*a^3 + 4*a^2 + 3*a, 3*a^3 + a^2 + 6*a + 1]
     57            [0, a, a^2, a^3, 2*a^2 + 3*a + 4, 2*a^3 + 3*a^2 + 4*a, 3*a^3 + a^2 + 6*a + 1]
    5858            sage: K.<a> = GF(5^9)
    5959            sage: for x in K:
    6060            ...       if x == a+3: break

  • sage/rings/finite_rings/finite_field_givaro.py 

    diff --git a/sage/rings/finite_rings/finite_field_givaro.py b/sage/rings/finite_rings/finite_field_givaro.py
    a b  
    7070            sage: sage.rings.finite_rings.finite_field_givaro.FiniteField_givaro(9,repr='int').gen()
    7171            3
    7272            sage: sage.rings.finite_rings.finite_field_givaro.FiniteField_givaro(9,repr='log').gen()
    73             5
     73            1
    7474
    7575            sage: k.<a> = GF(2^3)
    7676            sage: j.<b> = GF(3^4)
    … …  
    188188        EXAMPLES:
    189189            sage: k = GF(23**3, 'a')
    190190            sage: e = k.random_element(); e
    191             9*a^2 + 10*a + 3
     191            2*a^2 + 14*a + 21
    192192            sage: type(e)
    193193            <type 'sage.rings.finite_rings.element_givaro.FiniteField_givaroElement'>
    194194
    195195            sage: P.<x> = PowerSeriesRing(GF(3^3, 'a'))
    196196            sage: P.random_element(5)
    197             a^2 + 2*a + 1 + (a + 1)*x + (a^2 + a + 1)*x^2 + (a^2 + 1)*x^3 + (2*a^2 + a)*x^4 + O(x^5)
     197            2*a + 2 + (a^2 + a + 2)*x + (2*a + 1)*x^2 + (2*a^2 + a)*x^3 + 2*a^2*x^4 + O(x^5)
    198198        """
    199199        return self._cache.random_element()
    200200

  • sage/schemes/elliptic_curves/ell_finite_field.py 

    diff --git a/sage/schemes/elliptic_curves/ell_finite_field.py b/sage/schemes/elliptic_curves/ell_finite_field.py
    a b  
    312312            sage: k.<a> = GF(7^5)
    313313            sage: E = EllipticCurve(k,[2,4])
    314314            sage: P = E.random_element(); P
    315             (2*a^4 + 3*a^3 + 5*a^2 + 6*a + 4 : 6*a^4 + 4*a^3 + a + 6 : 1)
     315            (2*a^4 + 3*a^2 + 4*a : 3*a^4 + 6*a^2 + 5 : 1)
    316316            sage: type(P)
    317317            <class 'sage.schemes.elliptic_curves.ell_point.EllipticCurvePoint_finite_field'>
    318318            sage: P in E

  • sage/schemes/generic/affine_space.py 

    diff --git a/sage/schemes/generic/affine_space.py b/sage/schemes/generic/affine_space.py
    a b  
    216216            sage: A.rational_points()
    217217            [(0), (1), (2)]
    218218            sage: A.rational_points(GF(3^2, 'b'))
    219             [(0), (2*b), (b + 1), (b + 2), (2), (b), (2*b + 2), (2*b + 1), (1)]
     219            [(0), (b), (b + 1), (2*b + 1), (2), (2*b), (2*b + 2), (b + 2), (1)]
    220220
    221221            sage: AffineSpace(2, ZZ).rational_points(GF(2))
    222222            [(0, 0), (1, 0), (0, 1), (1, 1)]

  • sage/schemes/generic/projective_space.py 

    diff --git a/sage/schemes/generic/projective_space.py b/sage/schemes/generic/projective_space.py
    a b  
    691691            sage: P.rational_points()
    692692            [(0 : 1), (1 : 1), (2 : 1), (1 : 0)]
    693693            sage: P.rational_points(GF(3^2, 'b'))
    694             [(0 : 1), (2*b : 1), (b + 1 : 1), (b + 2 : 1), (2 : 1), (b : 1), (2*b + 2 : 1), (2*b + 1 : 1), (1 : 1), (1 : 0)]
     694            [(0 : 1), (b : 1), (b + 1 : 1), (2*b + 1 : 1), (2 : 1), (2*b : 1), (2*b + 2 : 1), (b + 2 : 1), (1 : 1), (1 : 0)]
    695695        """
    696696        if F == None:
    697697            return [ P for P in self ]

  • sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py 

    diff --git a/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py b/sage/schemes/hyperelliptic_curves/hyperelliptic_finite_field.py
    a b  
    77    sage: x = polygen(K)
    88    sage: C = HyperellipticCurve(x^7 - x^5 - 2, x^2 + a)
    99    sage: C._points_fast_sqrt()
    10     [(0 : 1 : 0), (2*a : 2*a + 2 : 1), (2*a : 2*a : 1), (a + 1 : a : 1), (a + 1 : a + 1 : 1), (2 : a + 1 : 1), (1 : a + 1 : 1)]
     10    [(0 : 1 : 0), (a + 1 : a : 1), (a + 1 : a + 1 : 1), (2 : a + 1 : 1), (2*a : 2*a + 2 : 1), (2*a : 2*a : 1), (1 : a + 1 : 1)]
     11
    1112"""
    1213
    1314#*****************************************************************************
    … …  
    173174            sage: x = polygen(K)
    174175            sage: C = HyperellipticCurve(x^7 - 1, x^2 + a)
    175176            sage: C._points_fast_sqrt()
    176             [(0 : 1 : 0), (2 : a + 1 : 1), (a : 2*a + 1 : 1), (2*a + 2 : 2*a : 1), (2*a + 2 : 1 : 1), (1 : 2*a + 2 : 1), (1 : 0 : 1)]
     177            [(0 : 1 : 0), (a : 2*a + 1 : 1), (2 : a + 1 : 1), (2*a + 2 : 2*a : 1), (2*a + 2 : 1 : 1), (1 : 2*a + 2 : 1), (1 : 0 : 1)]
    177178            sage: K.<a> = GF(49, 'a')
    178179            sage: x = polygen(K)
    179180            sage: C = HyperellipticCurve(x^5 - x^2 - 1, x^2 + a)

  • sage/schemes/hyperelliptic_curves/jacobian_morphism.py 

    diff --git a/sage/schemes/hyperelliptic_curves/jacobian_morphism.py b/sage/schemes/hyperelliptic_curves/jacobian_morphism.py
    a b  
    290290    ::
    291291   
    292292        sage: Q = J(H.lift_x(F(a+1))); Q
    293         (x + 6*a + 6, y + 2)
     293        (x + 6*a + 6, y + 2*a)
    294294        sage: 7*8297*Q # indirect doctest
    295295        (1)
    296296

  • sage/schemes/plane_curves/projective_curve.py 

    diff --git a/sage/schemes/plane_curves/projective_curve.py b/sage/schemes/plane_curves/projective_curve.py
    a b  
    367367            sage: b.next()
    368368            (0 : 0 : 1)
    369369            sage: b.next()
    370             (2*a + 2 : 2*a : 1)
     370            (2*a + 2 : a : 1)
    371371            sage: b.next()
    372372            (2 : a + 1 : 1)
    373373            sage: b.next()
    374             (a + 1 : a + 2 : 1)
     374            (a + 1 : 2*a + 1 : 1)
    375375            sage: b.next()
    376376            (1 : 2 : 1)
    377377            sage: b.next()
    378             (2*a + 2 : a : 1)
     378            (2*a + 2 : 2*a : 1)
    379379            sage: b.next()
    380380            (2 : 2*a + 2 : 1)
    381381            sage: b.next()
    382             (a + 1 : 2*a + 1 : 1)
     382            (a + 1 : a + 2 : 1)
    383383            sage: b.next()
    384384            (1 : 1 : 1)
    385385            sage: b.next()

  • sage/tests/french_book/numbertheory.py 

    diff --git a/sage/tests/french_book/numbertheory.py b/sage/tests/french_book/numbertheory.py
    a b  
    4040Finite Field in x of size 3^2
    4141sage: R.polynomial()
    4242x^2 + 2*x + 2
    43 sage: [r for r in R]
    44 [0, 2*x, x + 1, x + 2, 2, x, 2*x + 2, 2*x + 1, 1]
     43sage: Set([r for r in R])
     44{0, 1, 2, x, x + 1, x + 2, 2*x, 2*x + 1, 2*x + 2}
    4545sage: Q.<x> = PolynomialRing(GF(3))
    4646sage: R2 = GF(9,name='x',modulus=x^2+1); R2
    4747Finite Field in x of size 3^2