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