<Verb>ContractibleSubcomplex(K):: PureCubicalComplex --> PureCubicalComplex</Verb>
<Verb>ContractibleSubcomplex(K):: PurePermComplex --> PurePermComplex</Verb>
<Verb>ContractibleSubcomplex(K):: SimplicialComplex --> SimplicialComplex</Verb><P/>

<P/> Inputs a non-empty pure cubical, pure permutahedral  or simplicial complex <M>K</M> 
and returns a contractible subcomplex.


