Module secondary

ext

Module secondary 

Source

Structs§

SecondaryComposite
A homotopy of a map A -> M of pair modules. We assume this map does not hit generators.
SecondaryHomotopy
SecondaryResolution

Statics§

LAMBDA_BIDEGREE

Traits§

SecondaryLift
Logic that is common to all secondary lifts.

Type Aliases§

CompositeData