|
# GAP Declarations
# $Id: specialreps.gd,v 1.6 2012/08/01 16:01:10 sunnyquiver Exp $
# specialreps.gd: Provides special representations of a quiver,
# indecomposable projective, indecomposable injective,
# and vertex simple representations.
DeclareAttribute( "IndecProjectiveModules", IsQuiverAlgebra );
DeclareAttribute( "IndecInjectiveModules", IsQuiverAlgebra );
DeclareAttribute( "SimpleModules", IsQuiverAlgebra );
DeclareAttribute( "ZeroModule", IsQuiverAlgebra );
DeclareAttribute( "BasisOfProjectives", IsQuiverAlgebra );
DeclareOperation( "ElementInIndecProjective", [ IsQuotientOfPathAlgebra, IsAlgebraModuleElement, IS_INT ]);
DeclareOperation( "ElementIn_vA_AsElementInIndecProj", [ IsQuiverAlgebra, IsObject ] );
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
