[MathJax on]

11 Tools

11.1 Attributes

11.1-1 Dimension

Returns: an integer

Return the dimension of the object-finite linear category C with free external Homs of finite rank.

11.2 Tools for quivers

11.2-1 DefiningTripleOfAQuiver

Returns: a triple

Return a triple consisting of the number of vertices of the quiver q, the number of arrows of the quiver q, and a list of pairs of integers encoding the arrows of q.

gap> LoadPackage( "Algebroids" );
true
gap> q := RightQuiver( "q(0..4)[a:0->0,s:0->1,t:0->1,m:3->0]" );
q(0,1,2,3,4)[a:0->0,s:0->1,t:0->1,m:3->0]
gap> DefiningTripleOfAQuiver( q );
[ 5, 4, [ [ 0, 0 ], [ 0, 1 ], [ 0, 1 ], [ 3, 0 ] ] ]

generated by GAPDoc2HTML