PruneComplex : Table of Contents
PruneComplex -- Pruning chain complexes over polynomial and local rings
Direction -- Determines the direction with which the matrices in the complex is pruned
isScalar -- check whether a ring element is a scalar
pruneComplex -- Prunes a chain complex or list of mutable matrices
-
pruneDiff -- Prunes a single differential in a chain complex or list of mutable matrices
pruneUnit -- Prunes a unit of a differential in a list of mutable matrices
PruningMap -- Whether to compute a morphism of complexes
toChainComplex -- Converts a list of mutable matrices into a ChainComplex.
-
UnitTest -- Limit which units are to be pruned