<Verb>RegularCWMap(M,A):: PureCubicalComplex, PureCubicalComplex --> RegCWMap</Verb><P/>

<P/> Inputs a pure cubical complex <M>M</M> and a subcomplex <M>A</M> and
returns the inclusion map <M>A \rightarrow M</M> as a map of regular CW complexes. 


