DeclareAttribute("IdentityMap",IsHapRegularCWComplex);
DeclareGlobalFunction("ChainMapOfRegularCWMap");
DeclareGlobalFunction("ChainComplexEquivalenceOfRegularCWComplex");
DeclareGlobalFunction("ChainComplexHomeomorphismEquivalenceOfRegularCWComplex");
DeclareGlobalFunction("HAP_CocyclesAndCoboundaries");
DeclareGlobalFunction("HAP_IntegralCohomology");
DeclareGlobalFunction("HAP_IntegralClassToCocycle");
DeclareGlobalFunction("HAP_IntegralCocycleToClass");
DeclareGlobalFunction("CupProductOfRegularCWComplex");
