# 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 ] );