Dear Simon,
>> There is a difference between a polynomial (i.e., an element of a
polynomial ring) and a polynomial function. Polynomials can be of arbitrary
degree, over any coefficient field.
Yes I know this. But I think there is no difference between defining of
PolynomialRing and PolynomialQuotientRing, assuming that you independently
perform the operation by modulus. I am forcing the call of a function
pol.mod(P("y^8+y")) to obtain the remainder by modulus. And I expect that
monomial "y^10*a2*b1^10*p5^2" will has degree 3 (y^3*a2*b1^10*p5^2) after
operation pol.mod(P("y^8+y")) in the polynomial.
KInd regards,
Oleksandr
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
