i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{{-2.90897e-16+6.32882e-16*ii, -1}}, {{-1, 6.55201e-16+7.7635e-16*ii}}, ------------------------------------------------------------------------ {{1, -6.53466e-16-8.04105e-16*ii}}, {{2.90897e-16-6.32882e-16*ii, 1}}} o2 : List |
i3 : areEqual(sortSolutions s, {{{-1, 0}}, {{0, -1}}, {{0, 1}}, {{1, 0}}}) o3 = true |