"EisenbudShamashTotal(...,Check=>...)" -- see EisenbudShamashTotal -- Precursor complex of total Ext
"layeredResolution(...,Check=>...)" -- see layeredResolution -- layered finite and infinite layered resolutions of CM modules
"makeFiniteResolutionCodim2(...,Check=>...)" -- see makeFiniteResolutionCodim2 -- Maps associated to the finite resolution of a high syzygy module in codim 2
"matrixFactorization(...,Check=>...)" -- see matrixFactorization -- Maps in a higher codimension matrix factorization
"newExt(...,Check=>...)" -- see newExt -- Global Ext for modules over a complete Intersection