SolveTools[SemiAlgebraic]  compute the solutions of a set of equations, inequations, and inequalities

Calling Sequence


SemiAlgebraic(sys)
SemiAlgebraic(sys, vars)
SemiAlgebraic(sys, vars, parameters=parms)


Parameters


sys



list or set of equations, inequations, or inequalities with rational real coefficients

vars



(optional) list or set of variables

parms



(optional) a list of parameters





Description


•

The command SolveTools[SemiAlgebraic] computes the solutions of a rational polynomial system consisting of a combination of equations, inequations, and inequalities over the real numbers.

•

If vars is not specified, the command determines the list of unknowns to be solved.

•

SemiAlgebraic will solve for all the unknown symbols in the input system. If vars is specified, but does not include all symbols in the system then the omitted symbols will be treated as parameters and the output will be a piecewise expression. The parameters option can be used to specify an ordered list of parameters.

•

The order of equations and inequalities in the solutions is determined by the order of the variables given in vars. If vars is not specified, the order that was used to solve the polynomial system is used.

•

This command is part of the SolveTools package, and can be used in the form SemiAlgebraic(..) only after executing the command with(SolveTools). However, it can always be accessed through the long form of the command using SolveTools[SemiAlgebraic](..).



Compatibility


•

The SolveTools[SemiAlgebraic] command was introduced in Maple 16.

•

The parameters option was updated in Maple 17.



Examples


>


A set of inequations defines a region in the plane.
>


 (1) 
>


A semialgebraic solution defines a decomposition of that region into strips. The variable order gives vertical strips.
>


 (2) 
>


The variable order gives horizontal strips.
>


 (3) 
>


If no variables are given then they are deduced.
>


 (4) 
>


 (5) 
If some variables are not given, a piecewise case discussion is returned.
>


 (6) 
>


 (7) 
>


 (8) 
>


 (9) 
>


 (10) 
>


 (11) 


Download Help Document
Was this information helpful?