DeclareOperation("Sphere",[IsInt]);
DeclareOperation("ComplexProjectiveSpace",[IsInt]);
DeclareOperation("ConnectedSum",[IsHapSimplicialComplex,IsHapSimplicialComplex,IsInt]);
DeclareGlobalFunction("HAP_SimplicialTorus");
DeclareGlobalFunction("HAP_SimplicialProjectivePlane");
DeclareOperation("ClosedSurface",[IsInt]);
DeclareGlobalFunction("SimplicialK3Surface");
DeclareOperation("WedgeSum",[IsHapSimplicialComplex,IsHapSimplicialComplex]);
DeclareGlobalFunction("HAP_WedgeSumOfSimplicialComplexes");
DeclareGlobalFunction("CohomologyRingOfSimplicialComplex");
DeclareOperation("CohomologyRing",[IsHapSimplicialComplex,IsInt]);
DeclareGlobalFunction("ThreeManifoldViaDehnSurgery");
DeclareGlobalFunction("HAP_AllHomomorphisms");
DeclareGlobalFunction("DijkgraafWittenInvariant");
DeclareGlobalFunction("LinkingForm");
DeclareGlobalFunction("LinkingFormHomotopyInvariant");
DeclareGlobalFunction("HAP_Hurewicz1Cycles");
DeclareGlobalFunction("HAP_HomeoLinkingForm");
DeclareGlobalFunction("LinkingFormHomeomorphismInvariant");
DeclareGlobalFunction("IsClosedManifold");
DeclareGlobalFunction("PoincareCubeCWComplex");
DeclareGlobalFunction("PoincareOctahedronCWComplex");
DeclareGlobalFunction("PoincareCubeCWComplexNS");
DeclareGlobalFunction("PoincarePrismCWComplex");
DeclareGlobalFunction("PoincareDodecahedronCWComplex");
DeclareGlobalFunction("BarycentricallySimplifiedComplex");
DeclareGlobalFunction("RemoveStar");
DeclareGlobalFunction("NonManifoldVertices");
DeclareGlobalFunction("ThreeManifoldWithBoundary");
DeclareGlobalFunction("HAP_MyIsInfiniteFpGroup");
DeclareGlobalFunction("HAP_MyIsFiniteFpGroup");
DeclareGlobalFunction("HAP_MyIsBieberbachFpGroup");
DeclareGlobalFunction("ManifoldType");




