-- -*- M2-comint -*- {* hash: 624174231 *} i1 : R = CC[x,y]; i2 : S = {x^2-1,y^2-1}; i3 : T = {x^2+y^2-1, x*y}; i4 : sols = { {1.1_CC,0.1}, {-0.1,1.2} }; i5 : refine(T, sols, Software=>M2, ErrorTolerance=>.001, Iterations=>10) o5 = {{1, 4.66507e-9}, {-8.37549e-8, 1}} o5 : List i6 :