Next: Scaling polynomial systems and
Up: Reference Manual
Previous: Reference Manual
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: Scaling polynomial systems and
Up: Reference Manual
Previous: Reference Manual
Jan Verschelde
3/7/1999