CoChainComplex(VS)

alg_top.spad line 1503 [edit on github]

• VS : AbelianGroup

Delta Complexes are defined by a sequence of 'face maps', These can be represented by a list of matrices. for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/topology/chain/cochain/ Date Created: Jan 2016 Basic Operations: Related packages: Related categories: Related Domains: ChainComplex Also See: AMS Classifications:

= : (%, %) -> Boolean

from BasicType

coChainComplex : ChainComplex -> %

constructor from ChainComplex

coChainComplex : List(Matrix(Integer)) -> %

constructor

coHomology : % -> List(Homology)

calculate homology using SmithNormalForm

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

calculate coboundary at dimension n for a given input

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

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

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

SetCategory

BasicType