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

;;