Tells basic functions, e.g., track, to use soft certification described in
C. Beltran and A. Leykin, "Certified numerical homotopy tracking", Experimental Mathematics 21(1): 6983 (2012)The code for robust certification is not incorporated in this package at the moment; the location of this standalone code is in the references of
C. Beltran and A. Leykin, "Robust certified numerical homotopy tracking", Foundations of Computational Mathematics 13(2): 253295 (2013)The functions related to this paper are:




