InitialDegree -- Used to specify an initial degree for chainComplexMap.
Description
InitialDegree -- an optional argument for chainComplexMapused to specify the starting degree of the map.
This symbol is provided by the package ChainComplexExtras.
Functions with optional argument named InitialDegree: