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

;;