ChainComplexΒΆ

alg_top.spad line 1362

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/ Date Created: March 2016 Basic Operations: Related packages: Related categories: Related Domains: CoChainComplex Also See: AMS Classifications:

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
chainComplex: List Matrix Integer -> %
constructor
coerce: % -> OutputForm
from CoercibleTo OutputForm
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
homology: % -> 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 maps is zero

BasicType

CoercibleTo OutputForm

SetCategory