GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
DeclareAttribute("IdentityMap",IsHapRegularCWComplex); DeclareGlobalFunction("ChainMapOfRegularCWMap"); DeclareGlobalFunction("ChainComplexEquivalenceOfRegularCWComplex"); DeclareGlobalFunction("HAP_CocyclesAndCoboundaries"); DeclareGlobalFunction("HAP_IntegralCohomology"); DeclareGlobalFunction("HAP_IntegralClassToCocycle"); DeclareGlobalFunction("HAP_IntegralCocycleToClass"); DeclareGlobalFunction("CupProductOfRegularCWComplex");