Top
Back: deltaLoc
Forward: Ann
FastBack: normal_lib
FastForward: primitiv_lib
Up: Commutative algebra
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: deltaLoc Forward: Ann FastBack: normal_lib FastForward: primitiv_lib Up: Commutative algebra Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.