Ask Your Question
1

Groebner basis computation

asked 2019-02-06 07:49:28 +0100

MMumtaz gravatar image

How we can use SageMath for computing Groebner basis? e.g. we have 35 multivariate polynomial equations, is it possible to compute groebner basis at a time?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
2

answered 2019-02-06 13:31:21 +0100

Sébastien gravatar image

updated 2019-02-06 13:33:29 +0100

You may do something like:

sage: R = QQ['x,y,z']
sage: R
Multivariate Polynomial Ring in x, y, z over Rational Field
sage: x,y,z = R.gens()
sage: I = ideal(x^5 + y^4 + z^3 - 1,  x^3 + y^3 + z^2 - 1)
sage: B = I.groebner_basis()
sage: B
[y^6 + x*y^4 + 2*y^3*z^2 + x*z^3 + z^4 - 2*y^3 - 2*z^2 - x + 1, 
 x^2*y^3 - y^4 + x^2*z^2 - z^3 - x^2 + 1, 
 x^3 + y^3 + z^2 - 1]

This example was taken from the documentation on Ideals in multivariate polynomial rings

edit flag offensive delete link more

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: 2019-02-06 07:49:28 +0100

Seen: 744 times

Last updated: Feb 06 '19