** Next:** MAPLE library for the
** Up:** The generic Solver
** Previous:** Dealing with inequalities
** Contents**

##

Dealing with parametric system

It may also be interesting to investigate the case of parametric
systems, i.e. of systems for which some coefficients will be
described in analytical form in the formula file, but which are
not unknowns. An additional argument for the generic solver will be
a file, called the
*parameter file*
which will give specific values for the parameter. For example
in the equation:
eq1:=x^2-x*cos(y)-x1:

`x1` may be considered as a parameter while `x, y` are the
unknowns.
Each line of the parameter file indicates a name of a parameter and
its value. Thus
x1 1

is a valid parameter file.
Then you may use the programs of the MAPLE library (see
section 12.3) to generate the parser files for the solver:
these programs enable to specify that `x1` is not an unknown. The
generated files will contain the parameter `x1` and if you want to
solve a particular occurrence of the parametric system you just have to
add an argument to the command line of the generic solver:
-P [parameter file]

and if you want to study another occurrence (for example when the value
of `x1` is 2) you just have to change the value in the parameter
file.
Some specific parameters with special names may also be used to speed
up the computation, see section 12.4.4.2.

** Next:** MAPLE library for the
** Up:** The generic Solver
** Previous:** Dealing with inequalities
** Contents**
Jean-Pierre Merlet
2012-12-20