i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{1, 7.28769e-16-9.72684e-16*ii}, {-1, -8.25914e-16+9.48398e-16*ii}, ------------------------------------------------------------------------ {9.6579e-17+1.84963e-15*ii, 1}, {-8.9206e-17-1.71432e-15*ii, -1}} o2 : List |
i3 : areEqual(sortSolutions s / coordinates, {{-1, 0}, {0, -1}, {0, 1}, {1, 0}}) o3 = true |