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

1
<Verb>ContractedComplex(K):: RegularCWComplex --> RegularCWComplex</Verb>
2
<Verb>ContractedComplex(K):: FilteredRegularCWComplex --> FilteredRegularCWComplex</Verb>
3
<Verb>ContractedComplex(K):: CubicalComplex --> CubicalComplex</Verb>
4
<Verb>ContractedComplex(K):: PureCubicalComplex --> PureCubicalComplex</Verb>
5
<Verb>ContractedComplex(K,S):: PureCubicalComplex, PureCubicalComplex --> PureCubicalComplex</Verb>
6
<Verb>ContractedComplex(K):: FilteredPureCubicalComplex --> FilteredPureCubicalComplex</Verb>
7
<Verb>ContractedComplex(K):: PurePermComplex --> PurePermComplex</Verb>
8
<Verb>ContractedComplex(K,S):: PurePermComplex, PurePermComplex --> PurePermComplex</Verb>
9
<Verb>ContractedComplex(K):: SimplicialComplex --> SimplicialComplex</Verb>
10
<Verb>ContractedComplex(G):: Graph --> Graph</Verb>
11

12
<P/> Inputs a complex (regular CW, Filtered regular CW, pure cubical etc.) and returns a
13
homotopy equivalent subcomplex.
14

15
<P/> Inputs a pure cubical complex or pure permutahedral complex <M>K</M> and a subcomplex <M>S</M>. It returns a homotopy equivalent subcomplex of <M>K</M>
16
that contains <M>S</M>.
17

18
<P/> Inputs a graph  <M>G</M> 
19
and returns a subgraph  <M>S</M> such that the clique complexes of <M>G</M> and <M>S</M> are homotopy equivalent.  
20

21

22

23

24