Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- sage: R.<x,y,z> = PolynomialRing(QQ)
- sage: J = R.ideal( [x*(x+z)-(y+z), y*(y+x)-(z+x), z*(z+y)-(x+y), x*y*z-1] )
- sage: J.elimination_ideal( [x,y] )
- Ideal (z^7 + z^5 + z^4 + 3*z^3 - 7*z^2 + 2*z - 1)
- of Multivariate Polynomial Ring in x, y, z over Rational Field
Add Comment
Please, Sign In to add comment