Return to bablroco.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Main

Initial revision

procedure bablroco ( infilename,outfilename : in string );

-- DESCRIPTION :
--   This is the routine for counting the roots of a polynomial system,
--   as called by the central dispatcher, in its batch or black box version.
--   The arguments are the names of the input and output file respectively.