ThickeningFiltration(K,n):: PureCubicalComplex, Int --> FilteredPureCubicalComplex
ThickeningFiltration(K,n,s):: PureCubicalComplex, Int, Int --> FilteredPureCubicalComplex

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