LaurentPolynomialRing ideal not reducing

asked 2021-11-23 10:21:10 +0200

pppqqq gravatar image

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?

edit retag flag offensive close merge delete

Comments

Looks like a bug.

Max Alekseyev gravatar imageMax Alekseyev ( 2021-11-24 18:33:20 +0200 )edit