procedure mainroco ( infilename,outfilename : in string );

-- DESCRIPTION :
--   This procedure calls the driver to apply various root counting
--   methods to the system.  The arguments are the respective names
--   of the input and output files.