id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
11671 Doc/impl inconsistency for MPolynomial_libsingular.reduce() mmezzarobba malb "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. = 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
}}}
" defect new minor sage-6.4 commutative algebra N/A