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