ring rQ = 0,(q1,q2),dp; ideal Invariants = 0;