Revision history [back]

Hello! If I have a system of polynomials in CC[x, y, z] or any other field, is there a way to create constants that are in that field in a way that makes Groebner basis computation still work? For example, if I want to compute the Groebner basis for the ideal generated by

y^2 + z - c1
x*y^2 - c2 - 2

Is there a way to indicate that the c1 and c2 are in CC or whatever field I'm in? I've figured out how to get them to not be indeterminates (over the symbolic ring),

Ideal (y^2 + z - c1, x*y^2 - c2 - 2) of Multivariate Polynomial Ring in x, y, z over Symbolic Ring

but then the polynomials containing them don't have division.

AttributeError: 'MPolynomialRing_polydict_with_category' object has no attribute 'monomial_divides'

Thank you!

Hello! If I have a system of polynomials in CC[x, $CC[x, y, z] z]$ or any other field, is there a way to create constants that are in that field in a way that makes Groebner basis computation still work? For example, if I want to compute the Groebner basis for the ideal generated by

y^2 + z - c1
x*y^2 - c2 - 2

Is there a way to indicate that the c1 $c1$ and c2 $c2$ are in CC $CC$ or whatever field I'm in? I've figured out how to get them to not be indeterminates (over the symbolic ring),

Ideal (y^2 + z - c1, x*y^2 - c2 - 2) of Multivariate Polynomial Ring in x, y, z over Symbolic Ring

but then the polynomials containing them don't have division.

AttributeError: 'MPolynomialRing_polydict_with_category' object has no attribute 'monomial_divides'

Thank you!