Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question
0

Grobner bases using sage

asked 8 years ago

Nilesh gravatar image

Dear group members, Suppose I am working with an ideal in polynomial ring with n variables w.r.t. some ordering say degrevlex. If I compute groebner basis of that ideal, then is there any tool via which one can compute total degree of each of the polynomial in Groebner basis using sage?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
1

answered 8 years ago

tmonteil gravatar image

updated 8 years ago

You can simply use list comprehension:

Setting example:

sage: R = PolynomialRing(QQ,3,'x',order='degrevlex') ; R
Multivariate Polynomial Ring in x0, x1, x2 over Rational Field
sage: R.inject_variables()
Defining x0, x1, x2
sage: I = R.ideal([x0*x1-x2^2,x1*x2]) ; I
Ideal (x0*x1 - x2^2, x1*x2) of Multivariate Polynomial Ring in x0, x1, x2 over Rational Field
sage: G = I.groebner_basis() ; G
[x2^3, x0*x1 - x2^2, x1*x2]

Then:

sage: [P.total_degree() for P in G]
[3, 2, 2]
Preview: (hide)
link

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 8 years ago

Seen: 351 times

Last updated: Dec 20 '16