i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{1, -1.91405e-16+1.32582e-15*ii}, {-1, 1.91405e-16-1.32582e-15*ii}, ------------------------------------------------------------------------ {-2.89464e-16-2.03641e-15*ii, 1}, {2.95969e-16+2.0505e-15*ii, -1}} o2 : List |
i3 : areEqual(sortSolutions s / coordinates, {{-1, 0}, {0, -1}, {0, 1}, {1, 0}}) o3 = true |