>
|
|
Consider a polynomial ring with two variables
>
|
|
Consider two regular chains in R
>
|
|
>
|
|
The solutions of one are contained in those of the other. The redundant one will be removed as follows
>
|
|
>
|
|
The case of semi-algebraic system.
>
|
|
>
|
|
>
|
|
| (6) |
>
|
|
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
>
|
|
>
|
|