D.4.26.1 Ann | | annihilator of R^n/M, R=basering, M in R^n |
D.4.26.2 primdecGTZ | | complete primary decomposition via Gianni,Trager,Zacharias |
D.4.26.3 primdecGTZE | | complete primary decomposition via Gianni,Trager,Zacharias. Returns empty list for the unit ideal |
D.4.26.4 primdecSY | | complete primary decomposition via Shimoyama-Yokoyama |
D.4.26.5 primdecSYE | | complete primary decomposition via Shimoyama-Yokoyama. Returns empty list for the unit ideal |
D.4.26.6 primdec | | wrapper for primdecGTZ and primdecSY |
D.4.26.7 minAssGTZ | | the minimal associated primes via Gianni,Trager,Zacharias (with modifications by Laplagne) |
D.4.26.8 minAssGTZE | | the minimal associated primes via Gianni,Trager,Zacharias. Returns empty list for unit ideal |
D.4.26.9 minAssChar | | the minimal associated primes using characteristic sets |
D.4.26.10 minAssCharE | | the minimal associated primes using characteristic sets. Returns empty list for unit ideal |
D.4.26.11 minAss | | wrapper for minAssGTZ and minAssChar |
D.4.26.12 testPrimary | | tests the result of the primary decomposition |
D.4.26.13 testPrimaryE | | tests the result of the primary decomposition. Handles also empty list L. |
D.4.26.14 radical | | computes the radical of I via Krick/Logar (with modifications by Laplagne) and Kemper |
D.4.26.15 radicalEHV | | computes the radical of I via Eisenbud,Huneke,Vasconcelos |
D.4.26.16 equiRadical | | the radical of the equidimensional part of the ideal I |
D.4.26.17 prepareAss | | list of radicals of the equidimensional components of I |
D.4.26.18 equidim | | weak equidimensional decomposition of I |
D.4.26.19 equidimMax | | equidimensional locus of I |
D.4.26.20 equidimMaxEHV | | equidimensional locus of I via Eisenbud,Huneke,Vasconcelos |
D.4.26.21 zerodec | | zerodimensional decomposition via Monico |
D.4.26.22 absPrimdecGTZ | | the absolute prime components of I |
D.4.26.23 absPrimdecGTZE | | the absolute prime components of I. Assumes I is not unit ideal. |
D.4.26.24 sep | | the separabel part of f as polynomial in Fp(t1,...,tm) |