Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#(C) Graham Ellis, 2005-2006 tmppath:=HAP_ROOT{[1..Length(HAP_ROOT)-4]}; ########## COMPILED GAP FUNCTIONS ################################### LoadDynamicModule( Concatenation(tmppath,"lib/CompiledGAP/Compiled/absint.so")); LoadDynamicModule( Concatenation(tmppath,"lib/CompiledGAP/Compiled/signint.so")); ########## FREE G MODULES ########################################### LoadDynamicModule( Concatenation(tmppath,"lib/FreeGmodules/Compiled/tietze.so")); LoadDynamicModule( Concatenation(tmppath,"lib/FreeGmodules/Compiled/wordOperations.so")); ######### FPG MODULES ############################################### LoadDynamicModule( Concatenation(tmppath,"lib/FpGmodules/Compiled/fpgbasics.so")); LoadDynamicModule( Concatenation(tmppath,"lib/FpGmodules/Compiled/resfpgmod.so")); LoadDynamicModule( Concatenation(tmppath,"lib/FpGmodules/Compiled/homs.so")); ######### MEATAXE ################################################## LoadDynamicModule( Concatenation(tmppath,"lib/FpGmodules/Compiled/meataxe.so")); ##################### NONABELIAN TENSOR ############################# LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/tensorSquare.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/symmetricSquare.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/tensorPair.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/exteriorProduct.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/SBG.so")); if LoadPackage("nq")=true then LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/epiNilGrp.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/multNilGrp.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/tensorSquareInf.so")); LoadDynamicModule( Concatenation(tmppath,"lib/NonabelianTensor/Compiled/symmetricSquareInf.so")); fi; ########## RESOLUTIONS ############################################## LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resFiniteGroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resGeneric.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/presentation.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resInfSubgroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resSubgroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resSmallFpGroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resAbGroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resAspherical.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/pseudoLists.so")); if LoadPackage("aclib")=true then LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resACgroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Resolutions/Compiled/resACquotient.so")); fi; ########## RESOLUTIONS MOD P ######################################### LoadDynamicModule( Concatenation(tmppath,"lib/ResolutionsModP/Compiled/resPrimeGroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ResolutionsModP/Compiled/poincare.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ResolutionsModP/Compiled/ranksPrimeGroup.so")); ######### PERTURBATIONS ############################################# LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/resFiniteExt.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/resNormalSer.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/twistedTensorProduct.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/resDirectProd.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/resFiniteDirectProd.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/resExtension.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/resSubNormSeries.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/freeRes.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/dutour.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/contractibleSL2Zcomplex.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Perturbations/Compiled/filteredChainComplex.so")); #################### ARTIN COXETER ################################## LoadDynamicModule( Concatenation(tmppath,"lib/ArtinCoxeter/Compiled/diagrams.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ArtinCoxeter/Compiled/resArtin.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ArtinCoxeter/Compiled/coxeterWythoff.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ArtinCoxeter/Compiled/noncrossing.so")); ######### FUNCTORS ################################################## LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/equiChainMap.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/modularEquiChainMap.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/homToZ.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/primePartDerived.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/tensorWithZmodP.so")); #LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/tensorWithZModule.so")); ReadPackage("HAP", "lib/Functors/Compiled/tensorWithZModule.gi"); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/tensorWithTwistedZmodP.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/tensorWithTwistedZ.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/tensorWithZ.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/various.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/permMatrix.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/homToZmodule.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/tensorWithRationals.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Functors/Compiled/homToZmodP.so")); ##################################################################### ##################### HOMOLOGY ###################################### LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/cocycleCondition.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/integralHomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/lefschetz.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/integralHomologyObj.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/modularHomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/modularHomologyVectSpace.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/homology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/groupHomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/groupCohomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/integralCohomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/integralCohomologyObj.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/cohomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/syzygy.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/cycles.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/isSuperperfect.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/modularCohomology.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/solutionsMat.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Homology/Compiled/persistent.so")); ######### COHOMOLOGY RINGS ########################################## LoadDynamicModule( Concatenation(tmppath, "lib/Rings/Compiled/cocycleChainMap.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Rings/Compiled/cupProduct.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Rings/Compiled/intCoh.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Rings/Compiled/integralGens.so")); ################### POLYMAKE ####################################### LoadDynamicModule( Concatenation(tmppath,"lib/Polymake/Compiled/aspherical.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Polymake/Compiled/polyGens.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Polymake/Compiled/stabilizer.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Polymake/Compiled/polyFaces.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Polymake/Compiled/orbitPoly.so")); ################### POLYCYLIC ###################################### LoadDynamicModule( Concatenation(tmppath,"lib/Polycyclic/Compiled/resAbPcpGroup.so")); LoadDynamicModule( Concatenation(tmppath,"lib/Polycyclic/Compiled/resNilpotentPcpGrp.so")); ################## MOD P RINGS ##################################### LoadDynamicModule( Concatenation(tmppath,"lib/ModPRings/Compiled/record.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ModPRings/Compiled/recordPart1.so")); LoadDynamicModule( Concatenation(tmppath,"lib/ModPRings/Compiled/recordPartII.so")); ################### GRAPHS OF GROUPS ############################### LoadDynamicModule( Concatenation(tmppath, "lib/GraphsOfGroups/Compiled/graphs.so")); LoadDynamicModule( Concatenation(tmppath,"lib/GraphsOfGroups/Compiled/resGraph.so")); LoadDynamicModule( Concatenation(tmppath, "lib/GraphsOfGroups/Compiled/graphOfResolutions.so")); ################### SIMPLICIAL GROUPS ############################## LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/nerveCat1Group.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/mooreComplex.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/barresolution.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/chaincomplexofsimplicialgroup.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/Kpin.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/eilen_mac.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/tensor2chains.so")); LoadDynamicModule( Concatenation(tmppath, "lib/SimplicialGroups/Compiled/barcomplex.so")); ################## POLYTOPAL COMPLEXES ################################ LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/arrayOps.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/pureCubicalComplexes.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/chainComplexes.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/twoDimensional.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/threeDimensional.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/dvf.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/rips.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/simplicialComplexes.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/groupComplexes.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/cluster.so")); LoadDynamicModule( Concatenation(tmppath,"lib/PolyComplexes/Compiled/hap2chomp.so")); #####################REGULAR CW SPACES ############################## LoadDynamicModule( Concatenation(tmppath,"lib/RegularCWComplexes/Compiled/basicRegular.so")); LoadDynamicModule( Concatenation(tmppath,"lib/RegularCWComplexes/Compiled/contractAlt.so"));