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

;;