ring rQ = 0, (q1,q2,q3,q4,q5,q6,q7), dp;; ideal InvariantsGB = q3*q6-q2*q7, q4*q5-q2*q7, q3*q5-q1*q7, q2*q5-q1*q6, q2*q3-q1*q4, q1*q4*q6-q2^2*q7 ;;