Concentration -- optional argument used to specify the concentration

Description

In this package, each complex $C$ has a concentration $(\ell, h)$ such that $\ell \leq h$. For all $i < \ell$ and all $i > h$, the term $C_i$ is zero. When $\ell \leq i \leq h$, the module $C_i$ may or may not be zero.

Several methods use this optional argument to specify the concentration of their outputs.

Functions with optional argument named Concentration :

connectingExtMap(...,Concentration=>...) -- see connectingExtMap(Module,Matrix,Matrix) -- makes the connecting maps in Ext
connectingMap(...,Concentration=>...) -- see connectingMap(ComplexMap,ComplexMap) -- construct the connecting homomorphism on homology
connectingTorMap(...,Concentration=>...) -- see connectingTorMap(Module,Matrix,Matrix) -- makes the connecting maps in Tor
isQuasiIsomorphism(...,Concentration=>...) -- see isQuasiIsomorphism(ComplexMap) -- whether a map of complexes is a quasi-isomorphism
koszulComplex(List,Concentration=>...) -- see koszulComplex(Matrix) -- makes the Koszul complex
koszulComplex(Matrix,Concentration=>...) -- see koszulComplex(Matrix) -- makes the Koszul complex
longExactSequence(ComplexMap,ComplexMap,Concentration=>...) -- see longExactSequence(ComplexMap,ComplexMap) -- make the long exact sequence in homology

For the programmer

The object Concentration is a symbol.

Concentration -- optional argument used to specify the concentration

Description

See also

Functions with optional argument named Concentration :

For the programmer