A set of inequations defines a region in the plane.
>
|
|
| (1) |
>
|
|
A semi-algebraic 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) |