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