ring rQ = 0,(q1,q2,q3,q4,q5,q6,q7,q8),dp;
ideal InvariantsGB = 
q4*q7-q2*q8,
q5*q6-q2*q8,
q4*q6-q1*q8,
q2*q6-q1*q7,
q2*q4-q1*q5,
q1*q5*q7-q2^2*q8

;;