>
|
|
>
|
|
First, define a polynomial ring and three polynomials in the ring.
>
|
|
>
|
|
Build a regular chain using , which means vanishes but the initial of does not vanish.
>
|
|
Use GeneralConstruct to figure out the points in which cancel but do not cancel .
>
|
|
cs is a constructible set consisting of one regular system.
>
|
|
The inequalities form the following list.
>
|
|
| (6) |
To see complete information, use the Info command.
| (7) |