RegularChains[ParametricSystemTools][PreComprehensiveTriangularize] - compute a pre-comprehensive triangular decomposition
|
Calling Sequence
|
|
PreComprehensiveTriangularize(sys, d, R)
|
|
Parameters
|
|
sys
|
-
|
list of polynomials
|
d
|
-
|
number of parameters
|
R
|
-
|
polynomial ring
|
|
|
|
|
Description
|
|
•
|
The command PreComprehensiveTriangularize(sys, d, R) returns a pre-comprehensive triangular decomposition of sys, with respect to the last d variables of R.
|
•
|
A pre-comprehensive triangular decomposition is a refined triangular decomposition (in the Lazard sense) with additional properties, aiming at studying parametric polynomial systems.
|
|
(1) the regular chains of specialize well at , and
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
A pre-comprehensive triangular decomposition of consists of three regular chains.
>
|
|
| (3) |
>
|
|
| (4) |
Compare it with the output of Triangularize.
>
|
|
| (5) |
>
|
|
| (6) |
|
|
Download Help Document
Was this information helpful?