GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
<Verb>ChainMap(X,A,Y,B):: PureCubicalComplex, PureCubicalComplex, PureCubicalComplex, PureCubicalComplex --> ChainMap</Verb>
2
<Verb>ChainMap(f):: RegCWMap --> ChainMap</Verb>
3
<Verb>ChainMap(f):: SimplicialMap --> ChainComplex</Verb><P/>
4

5
<P/>Inputs a pure cubical complex <M>Y</M> and pure cubical sucomplexes
6
<M>X\subset Y</M>, <M>B\subset Y</M>,<M>A\subset B</M>. It returns the 
7
induced chain map
8
<M>f_\ast\colon C_\ast(X/A) \rightarrow C_\ast(Y/B)</M> of cellular chain complexes of pairs. (Typlically one takes <M>A</M> and <M>B</M> to be empty or contractible subspaces, in which case <M>C_\ast(X/A) \simeq C_\ast(X)</M>, <M>C_\ast(Y/B) \simeq C_\ast(Y)</M>.)
9

10

11
<P/> Inputs a map <M>f\colon X \rightarrow Y</M> between two regular 
12
CW-complexes <M>X,Y</M>   and returns an induced chain map 
13
<M>f_\ast\colon C_\ast(X) \rightarrow C_\ast(Y)</M> where
14
 <M>C_\ast(X)</M>, <M>C_\ast(Y)</M> are chain homotopic to (but usually smaller than) the cellular chain complexes of <M>X</M>, <M>Y</M>. 
15

16
<P/> Inputs a map <M>f\colon X \rightarrow Y</M> between two simplicial  
17
complexes <M>X,Y</M>   and returns the induced chain map 
18
<M>f_\ast\colon C_\ast(X) \rightarrow C_\ast(Y)</M> of cellular chain complexes.
19

20
 
21

22

23

24

25