Return to babldmvc.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift |
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: