<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.
