randomSystem -- an example of a 0-dimensional square polynomial system

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