procedure mainphc ( infilename,outfilename : in string ); -- DESCRIPTION : -- This is the main interactive driver for the homotopy continuation -- package for the solution of polynomial system. -- The arguments are the respective names of the input and output files.