Hi,

I think this might be a small bug:

sage: R=Zmod(4)
sage: P.<X>=PolynomialRing(R)
sage: f=X^4+1
sage: f.parent()
_4 = Univariate Polynomial Ring in X over Ring of integers modulo 4
sage: f.factor()
_5 = (X + 1)^4

which is clearly incorrect:

sage: (X+1)^4
_6 = X^4 + 2*X^2 + 1


I assume that there are no algorithms implemented in this case (since
4 is not prime), but I guess one should get an error message, as
happens modulo 6:

sage: S=Zmod(6)
sage: Q.<Y>=PolynomialRing(S)
sage: g=Y^4+1
sage: g.parent()
_10 = Univariate Polynomial Ring in Y over Ring of integers modulo 6
sage: g.factor()
---------------------------------------------------------------------------
<type 'exceptions.NotImplementedError'>   Traceback (most recent call last)

/home/dept/finotti/<ipython console> in <module>()

/home/dept/finotti/polynomial_element.pyx in
sage.rings.polynomial.polynomial_element.Polynomial.factor()

<type 'exceptions.NotImplementedError'>:


Best regards,

Luis

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://sage.math.washington.edu/sage/ and http://sage.scipy.org/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to