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... => 5
[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... => 5
[1,0,1,0,1,0,1,1,0,0] generating graphics... => 6
[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... => 6
[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... => 6
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 6
[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... => 6
[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... => 6
[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... => 6
[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... => 5
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 6
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 7
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 6
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 7
[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... => 6
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 6
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 7
[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... => 7
[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... => 7
[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... => 6
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 7
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 6
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 7
[1,0,1,1,0,1,0,1,1,0,0,0] generating graphics... => 7
[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... => 7
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 7
[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... => 7
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 7
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 7
[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... => 6
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 7
[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... => 7
[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... => 7
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 7
[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... => 6
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 7
[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... => 7
[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... => 6
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 7
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 7
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 7
[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... => 7
[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... => 7
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 7
[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... => 7
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 7
[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... => 7
[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... => 7
[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... => 7
[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... => 7
[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... => 7
[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... => 7
[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 4 in the corresponding Nakayama algebra.
Code

DeclareOperation("numbersimplesprojdimatmostt",[IsList]);

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

local A,t,simA,TT;

A:=LIST[1];
t:=LIST[2];
simA:=SimpleModules(A);
TT:=Filtered(simA,x->ProjDimensionOfModule(x,30)<=t);
return(Size(TT));

end);

Created
May 09, 2018 at 22:33 by Rene Marczinzik
Updated
May 09, 2018 at 22:33 by Rene Marczinzik