Return to dispatch.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Main/dispatch.ads, Revision 1.1.1.1

1.1       maekawa     1: procedure Dispatch;
                      2:
                      3: -- DESCRIPTION :
                      4: --   This procedure scans the arguments of the command line and calls the
                      5: --   appropriate drivers.
                      6: --   The arguments may be
                      7: --     * the names of the input and output file, given in this order;
                      8: --     * two different options, preceeded by a hyphen (-).
                      9: --   The first type of option is one of the following:
                     10: --     s : scal => scaling of the polynomial system
                     11: --     d : redu => reduce w.r.t. total degree d
                     12: --     p : poco => polynomial continuation
                     13: --     r : roco => root counting methods
                     14: --     m : mvc  => mixed volume computation
                     15: --     v : vali => validation of the solutions
                     16: --   The second option is the `-b', to switch to batch processing or
                     17: --   black box computation.  This option makes sense in combination with
                     18: --   the `-p', `-m' and `-v'.
                     19: --   Calling `phc -b' is equivalent to `phc -b -m' followed by `phc -b -p'.