Problem computing Grobner basis
I'm have the following code:
R0.<c4,e2,e3,e4> = QQ[]
F0 = Frac(R0)
R1.<a,b,m1,m2,m3,m4,r1,r2,r3,r4,s1,s2,s3,s4> = PolynomialRing(F0,14,order='degrevlex')
R2.<r,s,v,w> = R1[]
m = a + b*w
Mst = m1*m + m2*r + m3*s + m4
Rst = r1*m + r2*r + r3*s + r4
Sst = s1*m + s2*r + s3*s + s4
P1l = s + c4*v
P1r = m
P2l = m + e2*r + e3*s + e4*v
P2r = r
Q1l = Sst + c4*v
Q1r = Mst
Q2l = Mst + e2*Rst + e3*Sst + e4*v
Q2r = Rst
P = P1l*P1r - P2l*P2r
Q = Q1l*Q1r - Q2l*Q2r
H = P-Q
I = ideal(H.coefficients())
J = I.groebner_basis()
I get back an error from Singular:
SingularError: Singular error:
? unknown option `set`
? unknown option `sage7`
? error occurred in or before STDIN line 11: `option(set,sage7);`
Any idea what is going on? It won't crash with the "lex" ordering, but I'm running the computation in parallel on different cores with different orderings hoping one of them will eventually find something.