‣ IsChainOrCochainMorphism ( phi ) | ( filter ) |
‣ IsBoundedBelowChainOrCochainMorphism ( phi ) | ( filter ) |
‣ IsBoundedAboveChainOrCochainMorphism ( phi ) | ( filter ) |
‣ IsBoundedChainOrCochainMorphism ( phi ) | ( filter ) |
‣ IsChainMorphism ( phi ) | ( filter ) |
‣ IsBoundedBelowChainMorphism ( phi ) | ( filter ) |
‣ IsBoundedAboveChainMorphism ( phi ) | ( filter ) |
‣ IsBoundedChainMorphism ( phi ) | ( filter ) |
‣ IsCochainMorphism ( phi ) | ( filter ) |
‣ IsBoundedBelowCochainMorphism ( phi ) | ( filter ) |
‣ IsBoundedAboveCochainMorphism ( phi ) | ( filter ) |
‣ IsBoundedCochainMorphism ( phi ) | ( filter ) |
Returns: true
or false
Gap-categories for chain and cochains morphisms.
‣ ChainMorphism ( C, D, l ) | ( operation ) |
Returns: a chain morphism
The input is two chain complexes C,D and a \mathbb{Z}-function l. The output is the chain morphism \phi:C\rightarrow D defined by \phi_i :=l[i].
‣ ChainMorphism ( C, D, l, k ) | ( operation ) |
Returns: a chain morphism
The input is two chain complexes C,D, dense list l and an integer k. The output is the chain morphism \phi:C\rightarrow D such that \phi_{k}=l[1], \phi_{k+1}=l[2], etc.
‣ ChainMorphism ( c, m, d, n, l, k ) | ( operation ) |
Returns: a chain morphism
The output is the chain morphism \phi:C\rightarrow D, where d^C_m = c[ 1 ], d^C_{m+1} =c[ 2 ], etc. d^D_n = d[ 1 ], d^D_{n+1} =d[ 2 ], etc. and \phi_{k}=l[1], \phi_{k+1}=l[2], etc.
‣ CochainMorphism ( C, D, l ) | ( operation ) |
Returns: a cochain morphism
The input is two cochain complexes C,D and a \mathbb{Z}-function l. The output is the cochain morphism \phi:C\rightarrow D defined by \phi_i :=l[i].
‣ CochainMorphism ( C, D, l, k ) | ( operation ) |
Returns: a chain morphism
The input is two cochain complexes C,D, dense list l and an integer k. The output is the cochain morphism \phi:C\rightarrow D such that \phi^{k}=l[1], \phi^{k+1}=l[2], etc.
‣ CochainMorphism ( c, m, d, n, l, k ) | ( operation ) |
Returns: a cochain morphism
The output is the cochain morphism \phi:C\rightarrow D, where C^m = c[ 1 ], C^{m+1} =c[ 2 ], etc. D^n = d[ 1 ], D^{n+1} =d[ 2 ], etc. and \phi^{k}=l[1], \phi^{k+1}=l[2], etc.
‣ StalkChainMorphism ( f, n ) | ( operation ) |
‣ StalkCochainMorphism ( f, n ) | ( operation ) |
Returns: a (co)chain morphism
The input is a morphism f:a\rightarrow b in a category A. The output is chain (resp. cochain) morphism f_{\bullet}\in\mathrm{Ch}_\bullet(A)(f^{\bullet}\in\mathrm{Ch}^\bullet(A)) where f^{\bullet}_n=f( f_{\bullet}^n=f) and f^{\bullet}_i=0(f_{\bullet}^i=0) whenever i\neq n.
‣ HomologyFunctorialAt ( phi, n ) | ( operation ) |
‣ CohomologyFunctorialAt ( phi, n ) | ( operation ) |
Returns: a morphism
The input is a (co)chain complex morphism \phi:C\to D and an integer n. The outout is the associated morphism between the (co)homology objects of C resp. D at index n.
‣ Morphisms ( phi ) | ( attribute ) |
Returns: \mathbb{Z}-function
The output is morphisms of the chain or cochain morphism as a \mathbb{Z}-function.
‣ AsChainMorphism ( phi ) | ( attribute ) |
Returns: a chain morphism
The input is a cochain morphism \phi and the output is the associated chain morphism.
‣ AsCochainMorphism ( phi ) | ( attribute ) |
Returns: a cochain morphism
The input is a chain morphism \phi and the output is the associated cochain morphism.
‣ MappingCone ( phi ) | ( attribute ) |
Returns: complex
The input a chain (resp. cochain) morphism \phi:C \rightarrow D. The output is its mapping cone chain (resp. cochain) complex \mathrm{Cone}(\phi ).
‣ NaturalInjectionInMappingCone ( phi ) | ( attribute ) |
Returns: chain (resp. cochain) morphism
The input a chain (resp. cochain) morphism \phi:C\rightarrow D. The output is the natural injection i:D\rightarrow \mathrm{Cone}(\phi ).
‣ NaturalProjectionFromMappingCone ( phi ) | ( attribute ) |
Returns: chain (resp. cochain) morphism
The input a chain ( resp. cochain) morphism \phi:C\rightarrow D. The output is the natural projection \pi:\mathrm{Cone}(\phi ) \rightarrow C[u] where u=-1 if \phi is chain morphism and u=1 if \phi is cochain morphism.
‣ MappingCylinder ( phi ) | ( attribute ) |
Returns: complex
The input a chain (resp. cochain) morphism \phi:C \rightarrow D. The output is its mapping cylinder chain (resp. cochain) complex
‣ NaturalInjectionOfSourceInMappingCylinder ( phi ) | ( attribute ) |
Returns: morphism
The input a chain (resp. cochain) morphism \phi:C \rightarrow D. The output is the natural embedding C\rightarrow \mathrm{Cyl}(\phi ). I.e., the composition
‣ NaturalInjectionOfRangeInMappingCylinder ( phi ) | ( attribute ) |
Returns: morphism
The input a chain (resp. cochain) morphism \phi:C \rightarrow D. The output is the natural embedding D \rightarrow \mathrm{Cyl}(\phi ). I.e., the composition This morphism can be proven to be quasi-isomorphism. See Weibel, page 21.
‣ NaturalMorphismFromMappingCylinderInRange ( phi ) | ( attribute ) |
Returns: morphism
The input a chain (resp. cochain) morphism \phi:C \rightarrow D. The output is the natural morphism \mathrm{Cyl}(\phi )\rightarrow D. It can be shown that D and \mathrm{Cyl}(\phi ) are homotopy equivalent. This homotopy equivalence is given by the two morphisms
\mathrm{NaturalInjectionOfRangeInMappingCylinder}(\phi):D \rightarrow \mathrm{Cyl}(\phi )
and
\mathrm{NaturalMorphismFromMappingCylinderInRange}(\phi):\mathrm{Cyl}(\phi ) \rightarrow D.
See Weibel, page 21.
‣ NaturalMorphismFromMappingCylinderInMappingCone ( phi ) | ( attribute ) |
Returns: morphism
The input a chain (resp. cochain) morphism \phi:C \rightarrow D. The output is the natural morphism \mathrm{Cyl}(\phi )\rightarrow \mathrm{Cone}(\phi ). It can be shown that
0 \rightarrow C\xrightarrow[]{\alpha} \mathrm{Cyl}(\phi ) \xrightarrow[]{\beta} \mathrm{Cone}(\phi )\rightarrow 0
where
\alpha := \mathrm{NaturalInjectionOfSourceInMappingCylinder}(\phi)
and
\beta := \mathrm{NaturalMorphismFromMappingCylinderInMappingCone}(\phi),
is a short exact sequence. See Weibel, page 21.
‣ HomotopyMorphisms ( phi ) | ( attribute ) |
Returns: A ZFunction
The input is a null-homotopic chain (resp. cochain) morphism \phi:C \rightarrow D. The output is the homotopy morphisms given as a \mathbb{Z}-function (h_i:C_i \rightarrow D_{i+1}) ( resp. (h_i:C_i \rightarrow D_{i-1}) ). Note that this method can be called only if it is added to the category, see \texttt{AddHomotopyMorphisms}.
‣ IsQuasiIsomorphism ( phi ) | ( property ) |
Returns: true
or false
The input a chain ( resp. cochain) morphism \phi:C\rightarrow D. The output is true if \phi is quasi-isomorphism and false otherwise. If \phi is not bounded an error is raised.
‣ IsNullHomotopic ( phi ) | ( property ) |
Returns: true
or false
The input is a chain or cochain morphism \phi and output is true if \phi is null-homotopic and false otherwise.
‣ SetUpperBound ( phi, n ) | ( operation ) |
Returns: a side effect
The command sets an upper bound to the morphism \phi. An upper bound of \phi is an integer u with \phi_{i}= 0 for i>n. The integer u will be called active upper bound of \phi. If \phi already has an active upper bound, say u^\prime, then u^\prime will be replaced by u only if u^\prime>u.
‣ SetLowerBound ( phi, n ) | ( operation ) |
Returns: a side effect
The command sets an lower bound to the morphism \phi. A lower bound of \phi is an integer l with \phi_{i}= 0 for l>i. The integer l will be called active lower bound of \phi. If \phi already has an active lower bound, say l^\prime, then l^\prime will be replaced by l only if l>l^\prime.
‣ HasActiveUpperBound ( phi ) | ( operation ) |
Returns: true or false
The input is chain or cochain morphism \phi. The output is true if an upper bound has been set to \phi and false otherwise.
‣ HasActiveLowerBound ( phi ) | ( operation ) |
Returns: true or false
The input is chain or cochain morphism \phi. The output is true if a lower bound has been set to \phi and false otherwise.
‣ ActiveUpperBound ( phi ) | ( operation ) |
Returns: an integer
The input is chain or cochain morphism. The output is its active upper bound if such has been set to \phi. Otherwise we get error.
‣ ActiveLowerBound ( phi ) | ( operation ) |
Returns: an integer
The input is chain or cochain morphism. The output is its active lower bound if such has been set to \phi. Otherwise we get error.
‣ MorphismAt ( phi, n ) | ( operation ) |
Returns: a morphism
The input is chain (resp. cochain) morphism and an integer n. The output is the component of \phi in index n, i.e., \phi_n(resp. \phi^n).
‣ CyclesFunctorialAt ( phi, n ) | ( operation ) |
Returns: a morphism
The input is chain (resp. cochain) morphism and an integer n. The output is the morphism between the kernels in index n.
3.5-9 \[\]
‣ \[\] ( phi, n ) | ( operation ) |
Returns: an integer
The input is chain (resp. cochain) morphism and an integer n. The output is the component of \phi in index n, i.e., \phi_n(resp. \phi^n).
‣ IsQuasiIsomorphism ( phi, n ) | ( operation ) |
Returns: an integer
The input is chain (resp. cochain) morphism and an integer n. The output is the component of \phi in index n, i.e., \phi_n(resp. \phi^n).
‣ MorphismsSupport ( phi, m, n ) | ( operation ) |
The command gives back the list of indices between m and n where the complex morphism is not zero.
‣ Display ( phi, m, n ) | ( operation ) |
The command displays the components of the morphism between m and n.
‣ IsWellDefined ( true, or, false ) | ( operation ) |
The command checks if the morphism is well defined between m and n.
generated by GAPDoc2HTML