Ask Your Question

cyclo's profile - activity

2018-09-10 18:02:31 +0100 asked a question How to define coefficient in grobner bases

Hello,

I want to determine grobner bases from ideal where it's coefficent isn't determined.

Here is my code

G.<x1,x2,x3,x4> = PolynomialRing(QQ,4,order='lex')
H = Ideal([a03*x1+b03*x2+c03*x3+d30*x4+e03,a13*x1+b13*x2+c13*x3+d31*x4+e13,a23*x1+b23*x2+c23*x3+d32*x4+e23])
H.groebner_basis

where a03, b03, c03, ... are coeffisient.

Thanks :)