i1 : F = randomSystem(2,3,QQ) 3 3 3 2 3 2 7 3 9 2 1 2 9 1 o1 = {-x1 + -x1 x2 + -x1*x2 + -x2 + -x1 + -x1*x2 + x2 + -x1 + -x2 - 1, 4 2 4 4 4 2 2 2 ------------------------------------------------------------------------ 3 3 2 5 2 6 3 1 2 7 7 2 7 7 7x1 + -x1 x2 + -x1*x2 + -x2 + -x1 + --x1*x2 + -x2 + -x1 + --x2 - 1} 7 2 7 2 10 3 9 10 o1 : List |
i2 : sols = solveSystem F; |
i3 : #sols o3 = 9 |