Identifier
Identifier
Values
[1,0] generating graphics... => 2
[1,0,1,0] generating graphics... => 3
[1,1,0,0] generating graphics... => 3
[1,0,1,0,1,0] generating graphics... => 4
[1,0,1,1,0,0] generating graphics... => 4
[1,1,0,0,1,0] generating graphics... => 4
[1,1,0,1,0,0] generating graphics... => 4
[1,1,1,0,0,0] generating graphics... => 4
[1,0,1,0,1,0,1,0] generating graphics... => 4
[1,0,1,0,1,1,0,0] generating graphics... => 5
[1,0,1,1,0,0,1,0] generating graphics... => 5
[1,0,1,1,0,1,0,0] generating graphics... => 5
[1,0,1,1,1,0,0,0] generating graphics... => 5
[1,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,0,0,1,1,0,0] generating graphics... => 5
[1,1,0,1,0,0,1,0] generating graphics... => 5
[1,1,0,1,0,1,0,0] generating graphics... => 5
[1,1,0,1,1,0,0,0] generating graphics... => 5
[1,1,1,0,0,0,1,0] generating graphics... => 5
[1,1,1,0,0,1,0,0] generating graphics... => 5
[1,1,1,0,1,0,0,0] generating graphics... => 5
[1,1,1,1,0,0,0,0] generating graphics... => 5
[1,0,1,0,1,0,1,0,1,0] generating graphics... => 4
[1,0,1,0,1,0,1,1,0,0] generating graphics... => 5
[1,0,1,0,1,1,0,0,1,0] generating graphics... => 6
[1,0,1,0,1,1,0,1,0,0] generating graphics... => 5
[1,0,1,0,1,1,1,0,0,0] generating graphics... => 6
[1,0,1,1,0,0,1,0,1,0] generating graphics... => 6
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 6
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 5
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 5
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 6
[1,0,1,1,1,0,0,0,1,0] generating graphics... => 6
[1,0,1,1,1,0,0,1,0,0] generating graphics... => 6
[1,0,1,1,1,0,1,0,0,0] generating graphics... => 6
[1,0,1,1,1,1,0,0,0,0] generating graphics... => 6
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 5
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 6
[1,1,0,0,1,1,0,0,1,0] generating graphics... => 6
[1,1,0,0,1,1,0,1,0,0] generating graphics... => 6
[1,1,0,0,1,1,1,0,0,0] generating graphics... => 6
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 6
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 5
[1,1,0,1,0,1,0,1,0,0] generating graphics... => 6
[1,1,0,1,0,1,1,0,0,0] generating graphics... => 6
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 6
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 6
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 6
[1,1,0,1,1,1,0,0,0,0] generating graphics... => 6
[1,1,1,0,0,0,1,0,1,0] generating graphics... => 6
[1,1,1,0,0,0,1,1,0,0] generating graphics... => 6
[1,1,1,0,0,1,0,0,1,0] generating graphics... => 6
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 6
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 6
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 6
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 6
[1,1,1,0,1,1,0,0,0,0] generating graphics... => 6
[1,1,1,1,0,0,0,0,1,0] generating graphics... => 6
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 6
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 6
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 6
[1,1,1,1,1,0,0,0,0,0] generating graphics... => 6
[1,0,1,0,1,0,1,0,1,0,1,0] generating graphics... => 4
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 5
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 6
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 5
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 6
[1,0,1,0,1,1,0,0,1,0,1,0] generating graphics... => 7
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 7
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 5
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 5
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 6
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 7
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 7
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 6
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 7
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 6
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 7
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 7
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 7
[1,0,1,1,0,0,1,1,1,0,0,0] generating graphics... => 7
[1,0,1,1,0,1,0,0,1,0,1,0] generating graphics... => 5
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 6
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 5
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 6
[1,0,1,1,0,1,0,1,1,0,0,0] generating graphics... => 6
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 7
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 6
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 6
[1,0,1,1,0,1,1,1,0,0,0,0] generating graphics... => 7
[1,0,1,1,1,0,0,0,1,0,1,0] generating graphics... => 7
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 7
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 7
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 7
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 7
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 6
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 6
[1,0,1,1,1,0,1,1,0,0,0,0] generating graphics... => 7
[1,0,1,1,1,1,0,0,0,0,1,0] generating graphics... => 7
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 7
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 7
[1,0,1,1,1,1,0,1,0,0,0,0] generating graphics... => 7
[1,0,1,1,1,1,1,0,0,0,0,0] generating graphics... => 7
[1,1,0,0,1,0,1,0,1,0,1,0] generating graphics... => 5
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 6
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 7
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 6
[1,1,0,0,1,0,1,1,1,0,0,0] generating graphics... => 7
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 7
[1,1,0,0,1,1,0,0,1,1,0,0] generating graphics... => 7
[1,1,0,0,1,1,0,1,0,0,1,0] generating graphics... => 6
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 6
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 7
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 7
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 7
[1,1,0,0,1,1,1,0,1,0,0,0] generating graphics... => 7
[1,1,0,0,1,1,1,1,0,0,0,0] generating graphics... => 7
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 5
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 6
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 7
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 6
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 7
[1,1,0,1,0,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 6
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 6
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 6
[1,1,0,1,0,1,0,1,1,0,0,0] generating graphics... => 7
[1,1,0,1,0,1,1,0,0,0,1,0] generating graphics... => 7
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 6
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 7
[1,1,0,1,0,1,1,1,0,0,0,0] generating graphics... => 7
[1,1,0,1,1,0,0,0,1,0,1,0] generating graphics... => 7
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 7
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 6
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 6
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 7
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 6
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 7
[1,1,0,1,1,0,1,1,0,0,0,0] generating graphics... => 7
[1,1,0,1,1,1,0,0,0,0,1,0] generating graphics... => 7
[1,1,0,1,1,1,0,0,0,1,0,0] generating graphics... => 7
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 7
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 7
[1,1,0,1,1,1,1,0,0,0,0,0] generating graphics... => 7
[1,1,1,0,0,0,1,0,1,0,1,0] generating graphics... => 6
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 7
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 7
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 7
[1,1,1,0,0,0,1,1,1,0,0,0] generating graphics... => 7
[1,1,1,0,0,1,0,0,1,0,1,0] generating graphics... => 6
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 7
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 6
[1,1,1,0,0,1,0,1,0,1,0,0] generating graphics... => 7
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 7
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 7
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 7
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 7
[1,1,1,0,0,1,1,1,0,0,0,0] generating graphics... => 7
[1,1,1,0,1,0,0,0,1,0,1,0] generating graphics... => 6
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 7
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 6
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 7
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 7
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 7
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 7
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 7
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 7
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 7
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 7
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 7
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 7
[1,1,1,1,0,0,0,0,1,0,1,0] generating graphics... => 7
[1,1,1,1,0,0,0,0,1,1,0,0] generating graphics... => 7
[1,1,1,1,0,0,0,1,0,0,1,0] generating graphics... => 7
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 7
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 7
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 7
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 7
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 7
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 7
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 7
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 7
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 7
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 7
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 7
[1,1,1,1,1,0,0,0,0,0,1,0] generating graphics... => 7
[1,1,1,1,1,0,0,0,0,1,0,0] generating graphics... => 7
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 7
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 7
[1,1,1,1,1,0,1,0,0,0,0,0] generating graphics... => 7
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 7
click to show generating function       
Description
Number of simple modules with projective dimension at most 3 in the Nakayama algebra corresponding to the Dyck path.
Code

DeclareOperation("numberssimpprojdimatmost3", [IsList]);

InstallMethod(numberssimpprojdimatmost3, "for a representation of a quiver", [IsList],0,function(L)


local list, A,R,RR;


list:=L;

A:=NakayamaAlgebra(GF(3),list);
R:=SimpleModules(A);
RR:=Filtered(R,x->ProjDimensionOfModule(x,3)<=3);
return(Size(RR));
end
);



Created
Oct 30, 2017 at 21:48 by Rene Marczinzik
Updated
Oct 30, 2017 at 21:48 by Rene Marczinzik