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?
