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

;;