<Verb>DirectProduct(M,N):: RegCWComplex, RegCWComplex --> RegCWComplex</Verb>
<Verb>DirectProduct(M,N):: PureCubicalComplex, PureCubicalComplex --> PureCubicalComplex</Verb><P/>
<P/> Inputs two or more regular CW-complexes or two or more pure cubical complexes and returns their direct product.
