Ticket #4539: plural-missing-docu.patch

File plural-missing-docu.patch, 7.0 KB (added by AlexanderDreyer, 6 years ago)

Fixed some broken doctests

  • sage/rings/polynomial/multi_polynomial_ideal.py

    diff -r 6a696ae732ab sage/rings/polynomial/multi_polynomial_ideal.py
    a b  
    604604        return S
    605605   
    606606
    607 class MPolynomialIdeal_singular_commutative_repr(
     607class MPolynomialIdeal_singular_repr(
    608608        MPolynomialIdeal_singular_base_repr):
    609609    """
    610610    An ideal in a multivariate polynomial ring, which has an
     
    13491349            False
    13501350        """
    13511351        R = self.ring()
     1352
    13521353        if not isinstance(other, MPolynomialIdeal_singular_repr) or other.ring() != R:
    13531354            raise ValueError, "other must be an ideal in the ring of self, but it isn't."
    13541355
     
    22742275        R = self.ring()
    22752276        return R(k)
    22762277
    2277 class NCPolynomialIdeal(MPolynomialIdeal_singular_base_repr, Ideal_generic):
     2278class NCPolynomialIdeal(MPolynomialIdeal_singular_repr, Ideal_generic):
    22782279    def __init__(self, ring, gens, coerce=True):
     2280        r"""
     2281        Computes a non-commutative ideal.
     2282       
     2283        EXAMPLES::
     2284       
     2285            sage: A.<x,y,z> = FreeAlgebra(QQ, 3)
     2286            sage: H = A.g_algebra({y*x:x*y-z, z*x:x*z+2*x, z*y:y*z-2*y})
     2287            sage: H.inject_variables()
     2288            Defining x, y, z
     2289
     2290            sage: I = H.ideal([y^2, x^2, z^2-H.one_element()],coerce=False) # indirect doctest
     2291        """
    22792292        Ideal_generic.__init__(self, ring, gens, coerce=coerce)
    22802293
    22812294    def __call_singular(self, cmd, arg = None):
     
    22902303        r"""
    22912304        Computes a left GB of the ideal.
    22922305       
    2293         EXAMPLE::
     2306        EXAMPLES::
    22942307       
    22952308            sage: A.<x,y,z> = FreeAlgebra(QQ, 3)
    22962309            sage: H = A.g_algebra({y*x:x*y-z, z*x:x*z+2*x, z*y:y*z-2*y})
    22972310            sage: H.inject_variables()
     2311            Defining x, y, z
    22982312            sage: I = H.ideal([y^2, x^2, z^2-H.one_element()],coerce=False)
    22992313            sage: I.std()
    23002314            Ideal (z^2 - 1, y*z - y, x*z + x, y^2, 2*x*y - z - 1, x^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field...
     
    23082322        r"""
    23092323        Computes a two-sided GB of the ideal.
    23102324       
    2311         EXAMPLE::
     2325        EXAMPLES::
    23122326       
    23132327            sage: A.<x,y,z> = FreeAlgebra(QQ, 3)
    23142328            sage: H = A.g_algebra({y*x:x*y-z, z*x:x*z+2*x, z*y:y*z-2*y})
    23152329            sage: H.inject_variables()
     2330            Defining x, y, z
    23162331            sage: I = H.ideal([y^2, x^2, z^2-H.one_element()],coerce=False)
    23172332            sage: I.twostd()
    23182333            Ideal (z^2 - 1, y*z - y, x*z + x, y^2, 2*x*y - z - 1, x^2) of Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field...
     
    23362351            sage: A.<x,y,z> = FreeAlgebra(QQ, 3)
    23372352            sage: H = A.g_algebra({y*x:x*y-z, z*x:x*z+2*x, z*y:y*z-2*y})
    23382353            sage: H.inject_variables()
     2354            Defining x, y, z
    23392355            sage: I = H.ideal([y^2, x^2, z^2-H.one_element()],coerce=False)
    2340             sage: G = vector(I.gens()); G
    2341             ...
     2356            sage: G = vector(I.gens()); G
     2357            doctest:357: UserWarning: You are constructing a free module   over a noncommutative ring. Sage does
     2358                         not have a concept of left/right and both sided modules be careful. It's also
     2359                         not guarantied that all multiplications are done from the right side.
     2360            doctest:573: UserWarning: You are constructing a free module over a noncommutative ring. Sage does not have a concept of left/right and both sided modules be careful. It's also not guarantied that all multiplications are done from the right side.
    23422361            (y^2, x^2, z^2 - 1)
    23432362            sage: M = I.syzygy_module(); M
    2344             ...
    2345             sage: (G.transpose() * M.transpose()).transpose()
    2346             (0, 0)
     2363            [                                                                         -z^2 - 8*z - 15                                                                                        0                                                                                      y^2]
     2364            [                                                                                       0                                                                          -z^2 + 8*z - 15                                                                                      x^2]
     2365            [                                                              x^2*z^2 + 8*x^2*z + 15*x^2                                                              -y^2*z^2 + 8*y^2*z - 15*y^2                                                                   -4*x*y*z + 2*z^2 + 2*z]
     2366            [                 x^2*y*z^2 + 9*x^2*y*z - 6*x*z^3 + 20*x^2*y - 72*x*z^2 - 282*x*z - 360*x                                                              -y^3*z^2 + 7*y^3*z - 12*y^3                                                                                  6*y*z^2]
     2367            [                                                              x^3*z^2 + 7*x^3*z + 12*x^3                 -x*y^2*z^2 + 9*x*y^2*z - 4*y*z^3 - 20*x*y^2 + 52*y*z^2 - 224*y*z + 320*y                                                                                 -6*x*z^2]
     2368            [  x^2*y^2*z + 4*x^2*y^2 - 8*x*y*z^2 - 48*x*y*z + 12*z^3 - 64*x*y + 108*z^2 + 312*z + 288                                                                           -y^4*z + 4*y^4                                                                                        0]
     2369            [                                                  2*x^3*y*z + 8*x^3*y + 9*x^2*z + 27*x^2                                   -2*x*y^3*z + 8*x*y^3 - 12*y^2*z^2 + 99*y^2*z - 195*y^2                                                                -36*x*y*z + 24*z^2 + 18*z]
     2370            [                                                  2*x^3*y*z + 8*x^3*y + 9*x^2*z + 27*x^2                                   -2*x*y^3*z + 8*x*y^3 - 12*y^2*z^2 + 99*y^2*z - 195*y^2                                                                -36*x*y*z + 24*z^2 + 18*z]
     2371            [                                                                           x^4*z + 4*x^4    -x^2*y^2*z + 4*x^2*y^2 - 4*x*y*z^2 + 32*x*y*z - 6*z^3 - 64*x*y + 66*z^2 - 240*z + 288                                                                                        0]
     2372            [x^3*y^2*z + 4*x^3*y^2 + 18*x^2*y*z - 36*x*z^3 + 66*x^2*y - 432*x*z^2 - 1656*x*z - 2052*x                                      -x*y^4*z + 4*x*y^4 - 8*y^3*z^2 + 62*y^3*z - 114*y^3                                                                        48*y*z^2 - 36*y*z]
     2373
     2374            sage: M*G
     2375            (0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
    23472376       
    23482377        ALGORITHM: Uses Singular's syz command
    23492378        """
     
    23602389        return self.__call_singular('res', length)
    23612390
    23622391
    2363 class MPolynomialIdeal( MPolynomialIdeal_singular_commutative_repr, \
     2392class MPolynomialIdeal( MPolynomialIdeal_singular_repr, \
    23642393                        MPolynomialIdeal_macaulay2_repr, \
    23652394                        MPolynomialIdeal_magma_repr, \
    23662395                        Ideal_generic ):