>
|
|
>
|
|
Define a polynomial ring.
>
|
|
Define a set of polynomials of R.
>
|
|
| (2) |
The command Triangularize (with lazard option) will decompose the common solutions of the polynomials system by means of regular chains.
>
|
|
| (3) |
Let be the first regular chain and be a polynomial regarded as an inequation.
To obtain a regular system, check whether is regular with respect to .
>
|
|
Since is regular, you can build a regular system.
>
|
|
Notice that the inequation is returned by the command RepresentingInequations.
>
|
|