Return to dispatch.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Main |
File: [local] / OpenXM_contrib / PHC / Ada / Main / dispatch.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:23 2000 UTC (23 years, 11 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
procedure Dispatch; -- DESCRIPTION : -- This procedure scans the arguments of the command line and calls the -- appropriate drivers. -- The arguments may be -- * the names of the input and output file, given in this order; -- * two different options, preceeded by a hyphen (-). -- The first type of option is one of the following: -- s : scal => scaling of the polynomial system -- d : redu => reduce w.r.t. total degree d -- p : poco => polynomial continuation -- r : roco => root counting methods -- m : mvc => mixed volume computation -- v : vali => validation of the solutions -- The second option is the `-b', to switch to batch processing or -- black box computation. This option makes sense in combination with -- the `-p', `-m' and `-v'. -- Calling `phc -b' is equivalent to `phc -b -m' followed by `phc -b -p'.