Tells basic functions, e.g., track, to use soft certification described in
C. Beltran and A. Leykin, "Certified numerical homotopy tracking", arXiv:0911.1783The functions related to this paper are:
i1 : R = CC[x,y,z]; |
i2 : S = {x^2-z^2,y^2-z^2}; |
i3 : T = {x^2+y^2-z^2, x*y}; |
i4 : solsS = {(1,-1,1),(1,1,1)}; |
i5 : track(S,T,solsS,Predictor=>Certified,Normalize=>true) o5 = {{.00000107266, -.70712, .70712}, {.707125, -1.48993e-7, .707107}} o5 : List |