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

;;