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

;;