︠2940452e-2900-4e9e-a34f-e61a439bf3aas︠ rr = QQ['x0, x1, x2, x3, x4, x5, x6, x7'] rr.inject_variables() I = rr.ideal (x1*x2*x7, x6*x7, x1*x4*x7, x0*x2*x4*x6, x0*x3*x5, x2*x3, x0*x1, x3*x5*x6, x4*x5) frobby.hilbert(I) ︡9030f0e7-0303-430b-8134-ce1aae3e542e︡{"stdout":"Defining x0, x1, x2, x3, x4, x5, x6, x7\n"}︡{"stdout":"x0*x1*x2*x3*x4*x5*x6*x7 + x0*x1*x2*x3*x4*x5*x6 + x0*x1*x2*x3*x4*x5*x7 + x0*x1*x2*x3*x4*x6*x7 + x0*x1*x2*x3*x5*x6*x7 + x0*x1*x2*x4*x5*x6*x7 + x0*x1*x3*x4*x5*x6*x7 + x0*x2*x3*x4*x5*x6*x7 + x1*x2*x3*x4*x5*x6*x7 + x0*x1*x2*x3*x4*x6 + x0*x1*x2*x4*x5*x6 + x1*x2*x3*x4*x5*x7 + x0*x2*x3*x4*x6*x7 + x0*x1*x3*x5*x6*x7 + x0*x2*x4*x5*x6*x7 + x0*x1*x2*x3*x5 + x0*x1*x3*x4*x5 + x0*x2*x3*x4*x5 + x0*x1*x2*x4*x6 + x0*x2*x3*x4*x6 + x0*x2*x3*x5*x6 + x0*x2*x4*x5*x6 + x0*x3*x4*x5*x6 + x2*x3*x4*x5*x6 + x0*x1*x2*x3*x7 + x0*x1*x2*x4*x7 + x0*x1*x4*x5*x7 + x0*x1*x2*x6*x7 + x1*x2*x3*x6*x7 + x0*x1*x4*x6*x7 + x0*x2*x4*x6*x7 + x1*x2*x4*x6*x7 + x2*x3*x5*x6*x7 + x1*x4*x5*x6*x7 + x3*x4*x5*x6*x7 + x0*x1*x2*x3 + x0*x1*x3*x5 + x0*x2*x3*x5 + x0*x1*x4*x5 + x0*x3*x4*x5 + x2*x3*x4*x5 + x0*x2*x4*x6 + x0*x3*x5*x6 + x2*x3*x5*x6 + x3*x4*x5*x6 + x0*x1*x2*x7 + x1*x2*x3*x7 + x0*x1*x4*x7 + x1*x2*x4*x7 + x1*x4*x5*x7 + x0*x1*x6*x7 + x1*x2*x6*x7 + x2*x3*x6*x7 + x1*x4*x6*x7 + x3*x5*x6*x7 + x4*x5*x6*x7 + x0*x3*x5 + x3*x5*x6 + x1*x2*x7 + x1*x4*x7 + x0*x1 + x2*x3 + x4*x5 + x6*x7 + 1\n"}︡{"done":true}︡ ︠0ee0a800-f980-46f0-b0e5-e433c336b5bd︠