|
# 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 );
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
