Ask Your Question

jooyous's profile - activity

2023-02-25 14:01:38 +0200 received badge  Famous Question (source)
2019-02-08 19:12:41 +0200 received badge  Notable Question (source)
2018-03-20 23:44:47 +0200 received badge  Popular Question (source)
2015-05-08 00:37:57 +0200 commented answer Groebner basis computation with symbolic constants

Seems to be working so far!

2015-05-07 23:49:57 +0200 received badge  Scholar (source)
2015-05-07 09:08:32 +0200 received badge  Student (source)
2015-05-07 02:24:26 +0200 received badge  Editor (source)
2015-05-06 21:56:22 +0200 asked a question Groebner basis computation with symbolic constants

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!