GeneralPosition => ..., default value false, make a random unitary change of coordinates
Outputs:
S, contains homogeneous polynomials
sol, contains one solution of S
Description
Generates a start system S that is conjectured to have good complexity when used in linear homotopy with target system T leading to one solution. For more details see: C. Beltran and A. Leykin, "Certified numerical homotopy tracking", Experimental Mathematics 21(1): 69-83 (2012)