# Revision history [back]

### 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?