i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{{-1, -1.17067e-15+6.28469e-16*ii}}, {{5.65403e-16+1.10142e-16*ii, 1}}, ------------------------------------------------------------------------ {{-5.25694e-16-5.67992e-17*ii, -1}}, {{1, 1.1568e-15-5.93774e-16*ii}}} o2 : List |
i3 : areEqual(sortSolutions s, {{{-1, 0}}, {{0, -1}}, {{0, 1}}, {{1, 0}}}) o3 = true |