Ticket #13155: pbori_dimension_fix.2.patch

File pbori_dimension_fix.2.patch, 1.0 KB (added by Bouillaguet, 7 years ago)
  • sage/rings/polynomial/pbori.pyx

    # HG changeset patch
    # User Charles Bouillaguet <charles.bouillaguet@gmail.com>
    # Date 1340610216 -7200
    # Node ID c79b78fa7b54d9f08091fea86dac9bfb1824c062
    # Parent  01e0779db32182ef38b6bbeec105ba5f821a40a3
    fix BooleanPolynomialIdeal.dimension() bug
    
    diff --git a/sage/rings/polynomial/pbori.pyx b/sage/rings/polynomial/pbori.pyx
    a b  
    47574757        """
    47584758        MPolynomialIdeal.__init__(self, ring, gens, coerce)
    47594759
     4760
     4761    def dimension(self):
     4762        """
     4763        Return the dimension of ``self``, which is always zero.
     4764
     4765        TESTS:
     4766
     4767        Check that :trac:`13155` is solved::
     4768
     4769            sage: R = BooleanPolynomialRing(11, 'x')
     4770            sage: R2 = PolynomialRing(GF(2), 11, 'x')
     4771            sage: I = ideal([ R(f) for f in sage.rings.ideal.Cyclic(R2, 11).gens() ])
     4772            sage: I.dimension()
     4773            0
     4774        """
     4775        return 0
     4776
     4777
    47604778    def groebner_basis(self, **kwds):
    47614779        r"""
    47624780        Return a Groebner basis of this ideal.