• MCMApproximations -- Maximal Cohen-Macaulay Approximations and Complete Intersections
• approximation -- returns pair of components of the map from the MCM approximation
• approximationSequence -- Short exact sequence of the MCM approximation
• auslanderInvariant -- measures failure of surjectivity of the essential MCM approximation
• Characteristic -- Option for setupRings(c,d,Characteristic=>q)
• coApproximation -- Maximal Cohen-Macaulay co-approximation of M
• coApproximationSequence -- Short exact sequence of the MCM coapproximation
• CoDepth -- Option for syzygyModule(-k,M,CoDepth => m)
• profondeur -- computes the profondeur with respect to an ideal
• Randomize -- Option for setupRings(c,d,Characteristic=>q, Randomize=>false)
• setupModules -- Creates a list of modules and maps over complete intersection for experiments
• setupRings -- Sets up a complete intersection for experiments
• socleDegrees -- lists the degrees of the socle generators
• syzygyModule -- Produces the k-th syzygy module (k \in ZZ)
• Total -- option for approximation