How to find the dimension of Grobner basis

Sanu
89 ●4 ●7 ●17

I have a set POLY of multivariate polynomials over integer. From this set, we can calculate Grobner basis as follows:

I=(POLY)*RING
I=Ideal(I)
B = I.groebner_basis()

where RING is the corresponding polynomial ring. I want to find the dimension of B as defined in https://en.wikipedia.org/wiki/Gr%C3%B....

How to find that in Sage?

1 Answer

Sort by » oldest newest most voted

You link is refering to the dimension of the ideal, so you can just use:

sage: I.dimension()

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

1 follower

Asked: 2022-04-30 09:09:45 +0100

Seen: 194 times

Last updated: Apr 30 '22