RegularChains[ChainTools][EquiprojectableDecomposition] - equiprojectable decomposition of a variety
|
Calling Sequence
|
|
EquiprojectableDecomposition(lrc, R)
|
|
Parameters
|
|
lrc
|
-
|
list of regular chains of R
|
R
|
-
|
polynomial ring
|
|
|
|
|
Description
|
|
•
|
The command EquiprojectableDecomposition(lrc, R) returns the equiprojectable decomposition of the variety given by lrc.
|
•
|
The variety encoded by lrc is the union of the regular zero sets of the regular chains of lrc.
|
•
|
It is assumed that every regular chain in lrc is zero-dimensional and strongly normalized.
|
•
|
This command is part of the RegularChains[ChainTools] package, so it can be used in the form EquiprojectableDecomposition(..) only after executing the command with(RegularChains[ChainTools]). However, it can always be accessed through the long form of the command by using RegularChains[ChainTools][EquiprojectableDecomposition](..).
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
|
|
References
|
|
|
Dahan, X.; Moreno Maza, M.; Schost, E.; Wu, W. and Xie, Y. "Equiprojectable decompositions of zero-dimensional varieties" In proc. of International Conference on Polynomial System Solving, University of Paris 6, France, 2004.
|
|
|
Download Help Document
Was this information helpful?