Quelle  Tools.gd   Sprache: unbekannt

# SPDX-License-Identifier: GPL-2.0-or-later
# ModulePresentationsForCAP: Category R-pres for CAP
#
# Declarations
#

DeclareAttribute( "NonZeroGeneratorsTransformationTripleLeft",
                  IsHomalgMatrix );

DeclareAttribute( "NonZeroGeneratorsTransformationTripleRight",
                  IsHomalgMatrix );

DeclareAttribute( "LessGeneratorsTransformationTripleLeft",
                  IsHomalgMatrix );

DeclareAttribute( "LessGeneratorsTransformationTripleRight",
                  IsHomalgMatrix );