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