procedure mainred ( infilename,outfilename : in string );

-- DESCRIPTION :
--   This is the routine for reducing a polynomial system,
--   as called by the central dispatcher.
--   The arguments are the respective names of the input and output files.