LaurentPolynomialRing ideal not reducing

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

pppqqq gravatar image


sage: XX.<x> = LaurentPolynomialRing(QQ)                                                                                                                      
sage: YY.<xbar> = XX.quotient(XX.ideal(x**2))                                                                                                                 
sage: 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


Looks like a bug.

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