RegularChains[ConstructibleSetTools][Projection] - compute the projection of a variety, a constructible set onto a specified coordinate space
RegularChains[SemiAlgebraicSetTools][Projection] - compute the projection of a semi-algebraic set onto a specified coordinate space
|
Calling Sequence
|
|
Projection(F, d, R)
Projection(F, H, d, R)
Projection(CS, d, R)
Projection(sys, d, R)
Projection(lrsas, d, R)
Projection(F,N,P,H, d, R)
|
|
Parameters
|
|
F
|
-
|
list of polynomials
|
d
|
-
|
positive integer
|
R
|
-
|
polynomial ring
|
H
|
-
|
list of polynomials
|
CS
|
-
|
constructible set
|
sys
|
-
|
list/set of equations, inequations, or inequalities
|
lrsas
|
-
|
list/set of equations, inequations, or inequalities
|
N
|
-
|
list of polynomials
|
P
|
-
|
list of polynomials
|
|
|
|
|
Description
|
|
•
|
The subcoordinate space is specified by the parameters d and R. The parameters d must be less than the number of variables and d must be at least 1. For an algebraic variety or a constructible sets, the ring may have characteristic zero or a prime characteristic; for semi-algebraic sets, the ring must have characteristic zero.
|
•
|
The projection can be applied to either a constructible set (or an algebraic variety), or a semi-algebraic set (encoded by a list of regular_semi_algebraic_system or four list of polynomials). The projection image of a constructible set is an constructible set, encoded as a constructible_set object; the projection image of a semi-algebraic set is a semi-algebraic set, encoded as a list of regular_semi_algebraic_system. The variables in R are ordered as
|
|
Then the command Projection(F, d, R) returns the image of the variety defined by F under the d-th standard projection. The image of under phi is a constructible set which is the output of the command Projection(F, d, R).
|
•
|
If H is specified, let be the variety defined by the product of polynomials in H. Then the command Projection(F, H, d, R) returns the image of the constructible set defined by the difference of V and W under the d-th standard projection.
|
•
|
The command Projection(CS, d, R) returns the image of the constructible set CS under the d-th standard projection.
|
•
|
The command Projection(sys, d, R) returns the image of the semi-algebraic set defined by the constraints in sys.
|
•
|
The command Projection(lrsas, d, R) returns the image of the semi-algebraic union of zeros sets of the regular semi-algebraic systems in lrsas.
|
•
|
This command is available once RegularChains[ConstructibleSetTools] submodule or RegularChains[SemiAlgebraicSetTools] submodule have been loaded. It can always be accessed through one of the following long forms: RegularChains[ConstructibleSetTools][Projection] or RegularChains[SemiAlgebraicSetTools][Projection].
|
|
|
Compatibility
|
|
•
|
The RegularChains[SemiAlgebraicSetTools][Projection] command was introduced in Maple 16.
|
•
|
The sys, lrsas, N and P parameters were introduced in Maple 16.
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
First, define a polynomial ring.
>
|
|
| (1) |
Consider the variety defined by the following two polynomials and .
>
|
|
| (2) |
>
|
|
| (3) |
Now set , meaning that the projection is to the coordinate space of . The projection of to is given by the following constructible set cs.
>
|
|
| (4) |
To view the structure of cs, use the command RepresentingRegularSystems.
>
|
|
| (5) |
It consists of two components, so use the command Info to display the defining polynomials.
>
|
|
| (6) |
One component consists of a single point , and the other one consists of all points except those which cancel .
Next, some examples on semi-algebraic sets will be shown.
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
One can always turn a input semi-algebraic system to a list of regular semi-algebraic system (called a triangular decomposition) by RealTriangularize, and the compute the Projection.
>
|
|
| (11) |
>
|
|
| (12) |
>
|
|
| (13) |
>
|
|
| (14) |
The input semi-algebraic set/system can also be encoded by list of polynomials.
>
|
|
| (15) |
>
|
|
| (16) |
>
|
|
| (17) |
>
|
|
| (18) |
>
|
|
| (19) |
>
|
|
| (20) |
>
|
|
| (21) |
|
|
References
|
|
|
Chen, C.; Golubitsky, O.; Lemaire, F.; Moreno Maza, M.; and Pan, W. "Comprehensive Triangular Decomposition". Proc. CASC 2007, LNCS, Vol. 4770: 73-101. Springer, 2007.
|
|
Chen, C.; Davenport, J.-D.; Moreno Maza, M.; Xia, B.; and Xiao, R. "Computing with semi-algebraic sets represented by triangular decomposition". Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), ACM Press, pp. 75--82, 2011.
|
|
|