|
D.4.18 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)
Santiago Laplagne, slaplagn@dm.uba.ar (GTZ)
- 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, Laplagne and Kemper (implementation by Gerhard Pfister and Santiago Laplagne).
They work in any characteristic.
Baserings must have a global ordering and no quotient ideal.
Procedures:
D.4.18.1 Ann | | annihilator of R^n/M, R=basering, M in R^n |
D.4.18.2 primdecGTZ | | complete primary decomposition via Gianni,Trager,Zacharias |
D.4.18.3 primdecSY | | complete primary decomposition via Shimoyama-Yokoyama |
D.4.18.4 minAssGTZ | | the minimal associated primes via Gianni,Trager,Zacharias (with modifications by Laplagne) |
D.4.18.5 minAssChar | | the minimal associated primes using characteristic sets |
D.4.18.6 testPrimary | | tests the result of the primary decomposition |
D.4.18.7 radical | | computes the radical of I via Krick/Logar (with modifications by Laplagne) and Kemper |
D.4.18.8 radicalEHV | | computes the radical of I via Eisenbud,Huneke,Vasconcelos |
D.4.18.9 equiRadical | | the radical of the equidimensional part of the ideal I |
D.4.18.10 prepareAss | | list of radicals of the equidimensional components of I |
D.4.18.11 equidim | | weak equidimensional decomposition of I |
D.4.18.12 equidimMax | | equidimensional locus of I |
D.4.18.13 equidimMaxEHV | | equidimensional locus of I via Eisenbud,Huneke,Vasconcelos |
D.4.18.14 zerodec | | zerodimensional decomposition via Monico |
D.4.18.15 absPrimdecGTZ | | the absolute prime components of I |
|