Top
Back: primeList
Forward: separator
FastBack: modstd_lib
FastForward: mregular_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.10 mprimdec_lib

Library:
mprimdec.lib
Purpose:
procedures for primary decomposition of modules
Authors:
Alexander Dreyer, dreyer@mathematik.uni-kl.de; adreyer@web.de

Remark:
These procedures are implemented to be used in characteristic 0.
They also work in positive characteristic >> 0.
In small characteristic and for algebraic extensions, the procedures via Gianni, Trager, Zacharias may not terminate.

Procedures:

D.4.10.1 separator  computes a list of separators of prime ideals
D.4.10.2 PrimdecA  (not necessarily minimal) primary decomposition via Shimoyama/Yokoyama (suggested by Graebe)
D.4.10.3 PrimdecB  (not necessarily minimal) primary decomposition for pseudo-primary ideals
D.4.10.4 modDec  minimal primary decomposition via Shimoyama/Yokoyama (suggested by Graebe)
D.4.10.5 zeroMod  minimal zero-dimensional primary decomposition via Gianni, Trager and Zacharias
D.4.10.6 GTZmod  minimal primary decomposition via Gianni, Trager and Zacharias
D.4.10.7 dec1var  primary decomposition for one variable
D.4.10.8 annil  the annihilator of M/N in the basering
D.4.10.9 splitting  splitting to simpler modules
D.4.10.10 primTest  tests whether i is prime or homogeneous
D.4.10.11 preComp  enhanced Version of splitting
D.4.10.12 indSet  lists with varstrings of(in)dependend variables
D.4.10.13 GTZopt  a faster version of GTZmod
D.4.10.14 zeroOpt  a faster version of zeroMod


Top Back: primeList Forward: separator FastBack: modstd_lib FastForward: mregular_lib Up: Commutative algebra Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-1, Feb 2010, generated by texi2html.