GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#############################################################################
##
## ModulePresentationsForCAP package
##
## Copyright 2014, Sebastian Gutsche, TU Kaiserslautern
## Sebastian Posur, RWTH Aachen
##
#############################################################################
DeclareAttribute( "NonZeroGeneratorsTransformationTripleLeft",
IsHomalgMatrix );
DeclareAttribute( "NonZeroGeneratorsTransformationTripleRight",
IsHomalgMatrix );
DeclareAttribute( "LessGeneratorsTransformationTripleLeft",
IsHomalgMatrix );
DeclareAttribute( "LessGeneratorsTransformationTripleRight",
IsHomalgMatrix );