CoChainComplex VS

alg_top.spad line 1496 [edit on github]

Delta Complexes are defined by a sequence of ‘face maps’, These can be represented by a list of matrices. for more documentation see: Date Created: Jan 2016 Basic Operations: Related packages: Related categories: Related Domains: ChainComplex Also See: AMS Classifications:

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coboundary: (%, NonNegativeInteger, List VS) -> List VS

calculate coboundary at dimension n for a given input

coChainComplex: ChainComplex -> %

constructor from ChainComplex

coChainComplex: List Matrix Integer -> %


coerce: % -> OutputForm

from CoercibleTo OutputForm

coHomology: % -> List Homology

calculate homology using SmithNormalForm

latex: % -> String

from SetCategory

validate: % -> Boolean

true if this is a valid chain complex, that is: 1. maps compose 2. product of adjacent coboundary maps is zero


CoercibleTo OutputForm