1# GAP Declarations
2# This file was generated from
3# $Id: present2.gd,v 1.1 2010/05/07 13:30:13 sunnyquiver Exp $
4
5DeclareCategory("IsProjectivePresentation",IsObject);
6DeclareAttribute("ParentAlgebra", IsProjectivePresentation);
7DeclareAttribute("MatrixRepresentation", IsProjectivePresentation);
8DeclareAttribute("MatrixNumCols", IsProjectivePresentation);
9DeclareAttribute("MatrixNumRows", IsProjectivePresentation);
10#DeclareAttribute("P0", IsProjectivePresentation);
11#DeclareAttribute("P1", IsProjectivePresentation);
12DeclareAttribute("P0VertexList", IsProjectivePresentation);
13DeclareAttribute("P1VertexList", IsProjectivePresentation);
14
15
16#############################################################################
17##
18#R  IsProjectivePresentation
19##
20##  The following two lines create the representation and family for
21##  our Projective Presentation objects.
22##
23DeclareRepresentation("IsProjectivePresentationDefaultRep",
24  IsAttributeStoringRep and IsPositionalObjectRep
25  and IsProjectivePresentation,[]);
26
27BindGlobal("ProjectivePresentationFamily",
28  NewFamily("ProjectivePresentationFamily",
29  IsProjectivePresentation, IsProjectivePresentation) );
30
31
32DeclareOperation("ProjectivePresentation", [IsAlgebra,IsMatrix]);
33
34
35##
36#
37DeclareProperty( "IsPathAlgebraModule", IsAlgebraModule );
38DeclareProperty( "IsFpPathAlgebraModule", IsAlgebraModule );
39
40