next up previous index
Next: Scaling polynomial systems and Up: Reference Manual Previous: Reference Manual

Arguments and options in the command line

The general syntax for calling phc  is as follows:

phc [-s|-d|-r|-m|-p|-v|-e] [-b] <input file> <output file>
As optional arguments  the user can gives the names of the input and output file. The name of the input file must be put before the name of the output file. If only one file name is supplied, then it is assumed that it is the input file.

Following is a short description of the options  and the acronyms of the tools  invoked.

-s
Equation and variable Scaling on polynomial system and solution list: scal .

-d
Linear and nonlinear Reduction w.r.t. the total degree of the system: redu .

-r
Root counting and Construction of start systems: roco .

-m
Mixed-Volume Computation by four different lifting strategies: mvc .

-p
Polynomial Continuation defined by a homotopy in one parameter: poco .

-v
Validation, refinement and purification of computed solution lists: vali .

-e
Enumerative geometry for linear subspace intersections: enum 

-b
Batch or black-box processing.

To facilitate the use of the tools, it is recommended to use the acronyms to define aliases so that these can be used from the command line. For instance, by creating an executable file mvc that contains simply the line

  phc -m $1 $2
the tool mvc can be invoked directly by typing mvc input output after the prompt.

In Table 10 the input data and results of the tools are given.


 
Table 10: Input and output of the tools.
tool input data output results
scal target system scaled system
redu target system reduced system
roco target system a root count
    start system
    start solutions
mvc target system mixed volume
    mixed subdivision
    start system
    start solutions
poco target system solutions of
  start system target system
  start solutions  
vali target system refined solutions
  solutions  
enum m-planes p-planes
 

If phc is called without options, then the tools are activated one after the other, in the order as they are listed in Table 10.


next up previous index
Next: Scaling polynomial systems and Up: Reference Manual Previous: Reference Manual
Jan Verschelde
3/7/1999