i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{{6.03867e-16-3.01472e-16*ii, -1}}, {{1, -9.6494e-18+1.30104e-17*ii}}, ------------------------------------------------------------------------ {{-1, 4.77049e-18-3.77302e-17*ii}}, {{-6.03867e-16+3.01472e-16*ii, 1}}} o2 : List |
i3 : areEqual(sortSolutions s, {{{-1, 0}}, {{0, -1}}, {{0, 1}}, {{1, 0}}}) o3 = true |