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 :)
