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

;;