<Verb>ThickeningFiltration(K,n):: PureCubicalComplex, Int --> FilteredPureCubicalComplex</Verb>
<Verb>ThickeningFiltration(K,n,s):: PureCubicalComplex, Int, Int --> FilteredPureCubicalComplex</Verb><P/>


<P/> Inputs a pure cubical complex <M>K</M>  and integer <M>n \ge 1</M>, 
and returns a filtered pure cubical complex of filtration length <M>n</M>.
The <M>t</M>-th term of the filtration is the <M>t</M>-fold thickening of <M>K</M>.
If an integer <M>s \ge 1</M> is entered as the optional third argument then the <M>t</M>-th term of the filtration is the <M>ts</M>-fold thickening of <M>K</M>.


