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