Opened 8 years ago

Last modified 5 years ago

#11671 new defect

Doc/impl inconsistency for MPolynomial_libsingular.reduce()

Reported by: mmezzarobba Owned by: malb
Priority: minor Milestone: sage-6.4
Component: commutative algebra Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

The docstring of sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular.reduce() says:

        INPUT: 

        - ``I`` - a list/set of polynomials. If ``I`` is an ideal, the
          generators are used.

However:

sage: R.<x,y> = QQ[]
sage: J = R.ideal(x^2 + y^2 - 1, 16*x^2*y^2 - 1)
sage: (y^4).reduce(J.gens())
y^4
sage: (y^4).reduce(J)
y^2 - 1/16

Change History (4)

comment:1 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:2 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:4 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.