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