i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{-4.90202e-16-6.05868e-17*ii, -1}, {4.81528e-16+6.05868e-17*ii, 1}, {1, ------------------------------------------------------------------------ 1.06225e-15+7.74711e-16*ii}, {-1, -9.92857e-16-8.09405e-16*ii}} o2 : List |
i3 : areEqual(sortSolutions s / coordinates, {{-1, 0}, {0, -1}, {0, 1}, {1, 0}}) o3 = true |