>
|
|
>
|
|
First, define the polynomial ring and two polynomials of .
>
|
|
>
|
|
| (3) |
Using the GeneralConstruct function and adding one inequality, you can build a constructible set. By and , two constructible sets cs1 and cs2 are different.
>
|
|
| (4) |
>
|
|
| (5) |
Use the IsContained function to check if one is contained in another.
>
|
|
>
|
|
>
|
|
The empty constructible set is contained in any other constructible set.
>
|
|
| (9) |
>
|
|
>
|
|
Semi-algebraic case:
>
|
|
| (12) |
>
|
|
| (13) |
>
|
|
>
|
|