Return to babldmvc.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/babldmvc.ads, Revision 1.1

1.1     ! maekawa     1: procedure babldmvc ( infilename,outfilename : in string );
        !             2:
        !             3: -- DESCRIPTION :
        !             4: --   This is the mixed volume computation procedure, to run in batch
        !             5: --   processing mode or as a black box routine.
        !             6: --   The arguments are the respective names of the input and output files.
        !             7: