i1 : R = CC[x,y]; |
i2 : s = solveSystem {x^2+y^2-1, x*y} o2 = {{-1, 1.04882e-15+7.59064e-16*ii}, {1, -1.04882e-15-7.59064e-16*ii}, ------------------------------------------------------------------------ {-6.15976e-16+1.67394e-16*ii, 1}, {6.15976e-16-1.67394e-16*ii, -1}} o2 : List |
i3 : areEqual(sortSolutions s / coordinates, {{-1, 0}, {0, -1}, {0, 1}, {1, 0}}) o3 = true |