+1 It's better to raise an error then to fail silently.
If it turns out that a lot of doctest break because of this change it is
maybe good to instead create a method called reduce_unique, or add a
keyword unique to reduce. Here reduce_unique should have the additional
property that I.reduce_u
A univariate polynomial ring over a field is a PID, but not if its over a
general ring. E.g. <2,x> in ZZ[x] can't be generated by a single polynomial.
On Saturday, January 26, 2013 10:45:18 PM UTC, Charles Bouillaguet wrote:
>
> If I am not mistaken, any ideal I = of R[x] is spanned by a
> *
On Jan 26, 2013, at 11:31 PM, Florent Hivert wrote:
> Dear all,
>
> In some circumstance polynomial ring quotients returns wrong results: the
> following quotient by a single polynomial works correctly:
>
>sage: R. = PolynomialRing(ZZ)
>sage:
>sage: S. = R.quotient(x^2+x+1)
>
Dear all,
In some circumstance polynomial ring quotients returns wrong results: the
following quotient by a single polynomial works correctly:
sage: R. = PolynomialRing(ZZ)
sage:
sage: S. = R.quotient(x^2+x+1)
sage: xbar^2
-xbar - 1
sage: xbar^2 + x + 1 == 0
Tru
