Identifier
Identifier
Values
[1,0] generating graphics... => 1
[1,0,1,0] generating graphics... => 1
[1,1,0,0] generating graphics... => 2
[1,0,1,0,1,0] generating graphics... => 1
[1,0,1,1,0,0] generating graphics... => 1
[1,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,0,0] generating graphics... => 2
[1,1,1,0,0,0] generating graphics... => 3
[1,0,1,0,1,0,1,0] generating graphics... => 1
[1,0,1,0,1,1,0,0] generating graphics... => 1
[1,0,1,1,0,0,1,0] generating graphics... => 1
[1,0,1,1,0,1,0,0] generating graphics... => 1
[1,0,1,1,1,0,0,0] generating graphics... => 2
[1,1,0,0,1,0,1,0] generating graphics... => 2
[1,1,0,0,1,1,0,0] generating graphics... => 2
[1,1,0,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,0,1,0,0] generating graphics... => 2
[1,1,0,1,1,0,0,0] generating graphics... => 2
[1,1,1,0,0,0,1,0] generating graphics... => 3
[1,1,1,0,0,1,0,0] generating graphics... => 3
[1,1,1,0,1,0,0,0] generating graphics... => 3
[1,1,1,1,0,0,0,0] generating graphics... => 4
[1,0,1,0,1,0,1,0,1,0] generating graphics... => 1
[1,0,1,0,1,0,1,1,0,0] generating graphics... => 1
[1,0,1,0,1,1,0,0,1,0] generating graphics... => 1
[1,0,1,0,1,1,0,1,0,0] generating graphics... => 1
[1,0,1,0,1,1,1,0,0,0] generating graphics... => 2
[1,0,1,1,0,0,1,0,1,0] generating graphics... => 1
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 1
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 1
[1,0,1,1,1,0,0,0,1,0] generating graphics... => 2
[1,0,1,1,1,0,0,1,0,0] generating graphics... => 2
[1,0,1,1,1,0,1,0,0,0] generating graphics... => 2
[1,0,1,1,1,1,0,0,0,0] generating graphics... => 3
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 2
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 2
[1,1,0,0,1,1,0,0,1,0] generating graphics... => 2
[1,1,0,0,1,1,0,1,0,0] generating graphics... => 2
[1,1,0,0,1,1,1,0,0,0] generating graphics... => 2
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 2
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 2
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,0,1,0,1,0,0] generating graphics... => 2
[1,1,0,1,0,1,1,0,0,0] generating graphics... => 2
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 2
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 2
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 2
[1,1,0,1,1,1,0,0,0,0] generating graphics... => 2
[1,1,1,0,0,0,1,0,1,0] generating graphics... => 3
[1,1,1,0,0,0,1,1,0,0] generating graphics... => 3
[1,1,1,0,0,1,0,0,1,0] generating graphics... => 3
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 3
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 3
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 3
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 3
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 3
[1,1,1,0,1,1,0,0,0,0] generating graphics... => 3
[1,1,1,1,0,0,0,0,1,0] generating graphics... => 4
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 4
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 4
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 4
[1,1,1,1,1,0,0,0,0,0] generating graphics... => 5
[1,0,1,0,1,0,1,0,1,0,1,0] generating graphics... => 1
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 1
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 1
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 1
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 2
[1,0,1,0,1,1,0,0,1,0,1,0] generating graphics... => 1
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 1
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 1
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 1
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 1
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 2
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 2
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 2
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 3
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 1
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 1
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 1
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 1
[1,0,1,1,0,0,1,1,1,0,0,0] generating graphics... => 2
[1,0,1,1,0,1,0,0,1,0,1,0] generating graphics... => 1
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 1
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,0,1,1,0,0,0] generating graphics... => 1
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 1
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 1
[1,0,1,1,0,1,1,1,0,0,0,0] generating graphics... => 2
[1,0,1,1,1,0,0,0,1,0,1,0] generating graphics... => 2
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 2
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 2
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 2
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 2
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 2
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 2
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 2
[1,0,1,1,1,0,1,1,0,0,0,0] generating graphics... => 2
[1,0,1,1,1,1,0,0,0,0,1,0] generating graphics... => 3
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 3
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 3
[1,0,1,1,1,1,0,1,0,0,0,0] generating graphics... => 3
[1,0,1,1,1,1,1,0,0,0,0,0] generating graphics... => 4
[1,1,0,0,1,0,1,0,1,0,1,0] generating graphics... => 2
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 2
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 2
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 2
[1,1,0,0,1,0,1,1,1,0,0,0] generating graphics... => 2
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 2
[1,1,0,0,1,1,0,0,1,1,0,0] generating graphics... => 2
[1,1,0,0,1,1,0,1,0,0,1,0] generating graphics... => 2
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 2
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 2
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 2
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 2
[1,1,0,0,1,1,1,0,1,0,0,0] generating graphics... => 2
[1,1,0,0,1,1,1,1,0,0,0,0] generating graphics... => 3
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 2
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 2
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 2
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 2
[1,1,0,1,0,1,0,0,1,0,1,0] generating graphics... => 2
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 2
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 2
[1,1,0,1,0,1,0,1,1,0,0,0] generating graphics... => 2
[1,1,0,1,0,1,1,0,0,0,1,0] generating graphics... => 2
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 2
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 2
[1,1,0,1,0,1,1,1,0,0,0,0] generating graphics... => 2
[1,1,0,1,1,0,0,0,1,0,1,0] generating graphics... => 2
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 2
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 2
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 2
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 2
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 2
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 2
[1,1,0,1,1,0,1,1,0,0,0,0] generating graphics... => 2
[1,1,0,1,1,1,0,0,0,0,1,0] generating graphics... => 2
[1,1,0,1,1,1,0,0,0,1,0,0] generating graphics... => 2
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 2
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 2
[1,1,0,1,1,1,1,0,0,0,0,0] generating graphics... => 3
[1,1,1,0,0,0,1,0,1,0,1,0] generating graphics... => 3
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 3
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 3
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 3
[1,1,1,0,0,0,1,1,1,0,0,0] generating graphics... => 3
[1,1,1,0,0,1,0,0,1,0,1,0] generating graphics... => 3
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 3
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 3
[1,1,1,0,0,1,0,1,0,1,0,0] generating graphics... => 3
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 3
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 3
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 3
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 3
[1,1,1,0,0,1,1,1,0,0,0,0] generating graphics... => 3
[1,1,1,0,1,0,0,0,1,0,1,0] generating graphics... => 3
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 3
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 3
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 3
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 3
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 3
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 3
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 3
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 3
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 3
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 3
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 3
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 3
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 3
[1,1,1,1,0,0,0,0,1,0,1,0] generating graphics... => 4
[1,1,1,1,0,0,0,0,1,1,0,0] generating graphics... => 4
[1,1,1,1,0,0,0,1,0,0,1,0] generating graphics... => 4
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 4
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 4
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 4
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 4
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 4
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 4
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 4
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 4
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 4
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 4
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 4
[1,1,1,1,1,0,0,0,0,0,1,0] generating graphics... => 5
[1,1,1,1,1,0,0,0,0,1,0,0] generating graphics... => 5
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 5
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 5
[1,1,1,1,1,0,1,0,0,0,0,0] generating graphics... => 5
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 6
click to show generating function       
Description
Gives the maximal vector space dimension of the first Ext-group between an indecomposable module X and the regular module A, when A is the Nakayama algebra corresponding to the Dyck path.
Code
DeclareOperation("ext1largest",[IsList]);

InstallMethod(ext1largest, "for a representation of a quiver", [IsList],0,function(LIST)

local A,L,temp2,RegA;

A:=LIST[1];
L:=ARQuiver([A,1000])[2];
RegA:=DirectSumOfQPAModules(IndecProjectiveModules(A));
temp2:=[];for x in L do Append(temp2,[Size(ExtOverAlgebra(x,RegA)[2])]);od;
return(Maximum(temp2));
end);
Created
Jun 19, 2018 at 18:20 by Rene Marczinzik
Updated
Jun 19, 2018 at 18:39 by Rene Marczinzik