|
D.4.7 primdec_lib
- Library:
- primdec.lib
- Purpose:
- Primary Decomposition and Radical of Ideals
- Authors:
- Gerhard Pfister, pfister@mathematik.uni-kl.de (GTZ)
Wolfram Decker, decker@math.uni-sb.de (SY)
Hans Schoenemann, hannes@mathematik.uni-kl.de (SY)
- Overview:
- Algorithms for primary decomposition based on the ideas of
Gianni, Trager and Zacharias (implementation by Gerhard Pfister),
respectively based on the ideas of Shimoyama and Yokoyama (implementation
by Wolfram Decker and Hans Schoenemann).
The procedures are implemented to be used in characteristic 0.
They also work in positive characteristic >> 0.
In small characteristic and for algebraic extensions, primdecGTZ
may not terminate.
Algorithms for the computation of the radical based on the ideas of
Krick, Logar and Kemper (implementation by Gerhard Pfister).
Procedures:
D.4.7.1 Ann | | annihilator of R^n/M, R=basering, M in R^n |
D.4.7.2 primdecGTZ | | complete primary decomposition via Gianni,Trager,Zacharias |
D.4.7.3 primdecSY | | complete primary decomposition via Shimoyama-Yokoyama |
D.4.7.4 minAssGTZ | | the minimal associated primes via Gianni,Trager,Zacharias |
D.4.7.5 minAssChar | | the minimal associated primes using characteristic sets |
D.4.7.6 testPrimary | | tests the result of the primary decomposition |
D.4.7.7 radical | | computes the radical of I via Krick/Logar and Kemper |
D.4.7.8 radicalEHV | | computes the radical of I via Eisenbud,Huneke,Vasconcelos |
D.4.7.9 equiRadical | | the radical of the equidimensional part of the ideal I |
D.4.7.10 prepareAss | | list of radicals of the equidimensional components of I |
D.4.7.11 equidim | | weak equidimensional decomposition of I |
D.4.7.12 equidimMax | | equidimensional locus of I |
D.4.7.13 equidimMaxEHV | | equidimensional locus of I via Eisenbud,Huneke,Vasconcelos |
D.4.7.14 zerodec | | zerodimensional decomposition via Monico |
|