Polynomial is in ideal of a coordinate ring

asked 2022-08-25 15:57:19 +0100

narodnik
59 ●6

I am getting an error with the code below. Please advise how I can do this. Thanks

sage: K.<x> = QQ[]
sage: _.<y> = K[]
sage: K.<y> = K.extension(y^2 - x^3 - x)
sage: I = Ideal(x, y)
sage: I
Ideal (x, y) of Univariate Quotient Polynomial Ring in y over Univariate Polynomial Ring in x over Rational Field with modulus y^2 - x^3 - x
sage: x - y^2 + x^3 in I
...
NotImplementedError:

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2022-08-25 16:08:03 +0100

narodnik
59 ●6

This works:

sage: K.<x, y> = QQ[]
sage: I = Ideal(y^2 - x^3 - x)
sage: L.<X, Y> = K.quotient(I)
sage: I = Ideal(X, Y)
sage: I
Ideal (X, Y) of Quotient of Multivariate Polynomial Ring in x, y over Rational Field by the ideal (-x^3 + y^2 - x)
sage: X - Y^2 + X^3 in I
True

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2022-08-25 15:57:19 +0100

Seen: 144 times

Last updated: Aug 25 '22

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.

Polynomial is in ideal of a coordinate ring edit

1 Answer