GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## ## LICPX.gd LICPX subpackage ## ## LICPX = Logical Implications for homalg ComPleXes ## ## Copyright 2007-2010, Mohamed Barakat, RWTH-Aachen ## ## Declaration stuff for the LICPX subpackage. ## ############################################################################# DeclareAttribute( "BettiTableOverCoefficientsRing", IsHomalgComplex ); #################################### # # global variables: # ####################################