procedure babldmvc ( infilename,outfilename : in string );

-- DESCRIPTION :
--   This is the mixed volume computation procedure, to run in batch
--   processing mode or as a black box routine.
--   The arguments are the respective names of the input and output files.