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

;;