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