i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y}
o2 = {{{-5.58814e-16-8.4125e-16*ii, -1}}, {{-1,
------------------------------------------------------------------------
-1.11978e-15+3.05935e-16*ii}}, {{1, 1.11978e-15-3.05935e-16*ii}},
------------------------------------------------------------------------
{{5.58814e-16+8.4125e-16*ii, 1}}}
o2 : List
|
i3 : areEqual(sortSolutions s, {{{-1, 0}}, {{0, -1}}, {{0, 1}}, {{1, 0}}})
o3 = true
|