Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

LaurentPolynomialRing ideal not reducing

Consider

sage: XX.<x> = LaurentPolynomialRing(QQ)                                                                                                                      
sage: YY.<xbar> = XX.quotient(XX.ideal(x**2))                                                                                                                 
sage: xbar**3                                                                                                                                                 
xbar^3

Which is not zero, unlike if you replace Laurent polynomial with plain polynomial ring. I don't know how to reduce this vs. the defining ideal. Is there a way to do it currently in Sage, or is there something wrong with the expectation?