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

;;