Hi, I'd like to "remove squares" in some polynomials living in a polynomial ring over QQ, in 2 variables: x,y. I tried to implement this by modding out by the ideal (x^2 - x, y^2 - y). However, I have found that depending on the ordering, the result of .mod() does not always output the polynomial I am looking for.
Please see attached for a code example: in the ring R2, the order is specified as lex, and the polynomial x + y^2 does not reduce to x + y I would like. This issue does not come up for the ring R1 (no ordering specified explicitly), where both x + y^2 and x^2 + y reduce to x + y as expected. Is there a way to force reduction even for the non-leading terms? Thanks, Rachel -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
