ResidualIntersections : Table of Contents

• ResidualIntersections -- Tests for the conditions used in the theory of residual intersections
• depthsOfPowers -- Computes depth of powers of an ideal
• genericArtinNagata -- Generic Artin nagata
• genericResidual -- Computes generic residual intersections of an ideal
• hasSlidingDepth -- Checks if an ideal has the sliding depth property
• isLicci -- Tests whether an ideal is licci
• isStronglyCM -- Checks if the given ideal is Strongly Cohen Macaulay
• koszulDepth -- Computes the depths of the Koszul homology
• linkageBound -- computes a bound on the number of general links of an ideal to test the licci property
• maxGs -- maximum G_s of a monomial ideal
• numgensByCodim -- maximum number of generators of localizations of a monomial ideal
• residualCodims -- a list of possible residual intersection codimensions
• UseNormalModule -- option for linkageBound and isLicci