Top
Back: facGBIdeal
Forward: Ann
FastBack: pointid_lib
FastForward: primdecint_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: facGBIdeal Forward: Ann FastBack: pointid_lib FastForward: primdecint_lib Up: Commutative algebra Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.