Identifier
Identifier
Values
[1,0] generating graphics... => 1
[1,0,1,0] generating graphics... => 0
[1,1,0,0] generating graphics... => 1
[1,0,1,0,1,0] generating graphics... => 0
[1,0,1,1,0,0] generating graphics... => 0
[1,1,0,0,1,0] generating graphics... => 1
[1,1,0,1,0,0] generating graphics... => 0
[1,1,1,0,0,0] generating graphics... => 1
[1,0,1,0,1,0,1,0] generating graphics... => 0
[1,0,1,0,1,1,0,0] generating graphics... => 0
[1,0,1,1,0,0,1,0] generating graphics... => 0
[1,0,1,1,0,1,0,0] generating graphics... => 0
[1,0,1,1,1,0,0,0] generating graphics... => 0
[1,1,0,0,1,0,1,0] generating graphics... => 1
[1,1,0,0,1,1,0,0] generating graphics... => 1
[1,1,0,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,0] generating graphics... => 0
[1,1,1,0,0,0,1,0] generating graphics... => 1
[1,1,1,0,0,1,0,0] generating graphics... => 1
[1,1,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,0,0] generating graphics... => 1
[1,0,1,0,1,0,1,0,1,0] generating graphics... => 0
[1,0,1,0,1,0,1,1,0,0] generating graphics... => 0
[1,0,1,0,1,1,0,0,1,0] generating graphics... => 0
[1,0,1,0,1,1,0,1,0,0] generating graphics... => 0
[1,0,1,0,1,1,1,0,0,0] generating graphics... => 0
[1,0,1,1,0,0,1,0,1,0] generating graphics... => 0
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 0
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 0
[1,0,1,1,1,0,0,0,1,0] generating graphics... => 0
[1,0,1,1,1,0,0,1,0,0] generating graphics... => 0
[1,0,1,1,1,0,1,0,0,0] generating graphics... => 0
[1,0,1,1,1,1,0,0,0,0] generating graphics... => 0
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 1
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 1
[1,1,0,0,1,1,0,0,1,0] generating graphics... => 1
[1,1,0,0,1,1,0,1,0,0] generating graphics... => 1
[1,1,0,0,1,1,1,0,0,0] generating graphics... => 1
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 0
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,1,0,0,0,0] generating graphics... => 0
[1,1,1,0,0,0,1,0,1,0] generating graphics... => 1
[1,1,1,0,0,0,1,1,0,0] generating graphics... => 1
[1,1,1,0,0,1,0,0,1,0] generating graphics... => 1
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 1
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 1
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,0,0,1,0] generating graphics... => 1
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 1
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 1
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 0
[1,1,1,1,1,0,0,0,0,0] generating graphics... => 1
[1,0,1,0,1,0,1,0,1,0,1,0] generating graphics... => 0
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 0
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 0
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 0
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 0
[1,0,1,0,1,1,0,0,1,0,1,0] generating graphics... => 0
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 0
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 0
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 0
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 0
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 0
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 0
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 0
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 0
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 0
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 0
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 0
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 0
[1,0,1,1,0,0,1,1,1,0,0,0] generating graphics... => 0
[1,0,1,1,0,1,0,0,1,0,1,0] generating graphics... => 0
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 0
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,0,1,1,0,0,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 0
[1,0,1,1,0,1,1,1,0,0,0,0] generating graphics... => 0
[1,0,1,1,1,0,0,0,1,0,1,0] generating graphics... => 0
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 0
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 0
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 0
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 0
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,0,1,1,1,0,1,1,0,0,0,0] generating graphics... => 0
[1,0,1,1,1,1,0,0,0,0,1,0] generating graphics... => 0
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 0
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 0
[1,0,1,1,1,1,0,1,0,0,0,0] generating graphics... => 0
[1,0,1,1,1,1,1,0,0,0,0,0] generating graphics... => 0
[1,1,0,0,1,0,1,0,1,0,1,0] generating graphics... => 1
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 1
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 1
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 1
[1,1,0,0,1,0,1,1,1,0,0,0] generating graphics... => 1
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 1
[1,1,0,0,1,1,0,0,1,1,0,0] generating graphics... => 1
[1,1,0,0,1,1,0,1,0,0,1,0] generating graphics... => 1
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 1
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 1
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 1
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 1
[1,1,0,0,1,1,1,0,1,0,0,0] generating graphics... => 1
[1,1,0,0,1,1,1,1,0,0,0,0] generating graphics... => 1
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 0
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 0
[1,1,0,1,0,1,0,0,1,0,1,0] generating graphics... => 0
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,0,1,1,0,0,0] generating graphics... => 0
[1,1,0,1,0,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 0
[1,1,0,1,0,1,1,1,0,0,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,0,1,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,1,0,0,0,0] generating graphics... => 0
[1,1,0,1,1,1,0,0,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,1,0,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 0
[1,1,0,1,1,1,1,0,0,0,0,0] generating graphics... => 0
[1,1,1,0,0,0,1,0,1,0,1,0] generating graphics... => 1
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 1
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 1
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 1
[1,1,1,0,0,0,1,1,1,0,0,0] generating graphics... => 1
[1,1,1,0,0,1,0,0,1,0,1,0] generating graphics... => 1
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 1
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 1
[1,1,1,0,0,1,0,1,0,1,0,0] generating graphics... => 1
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 1
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 1
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 1
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 1
[1,1,1,0,0,1,1,1,0,0,0,0] generating graphics... => 1
[1,1,1,0,1,0,0,0,1,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,0,0,1,0,1,0] generating graphics... => 1
[1,1,1,1,0,0,0,0,1,1,0,0] generating graphics... => 1
[1,1,1,1,0,0,0,1,0,0,1,0] generating graphics... => 1
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 1
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 1
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 1
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 1
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 1
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 1
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 0
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 0
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 0
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 0
[1,1,1,1,1,0,0,0,0,0,1,0] generating graphics... => 1
[1,1,1,1,1,0,0,0,0,1,0,0] generating graphics... => 1
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 1
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 1
[1,1,1,1,1,0,1,0,0,0,0,0] generating graphics... => 0
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 1
click to show generating function       
Description
The projective dimension of the indecomposable injective module I[n-2] in the corresponding Nakayama algebra with simples enumerated from 0 to n-1.
Code

DeclareOperation("Projdimindinj",[IsList]);

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

local A,U,UU,RegA,WU;

A:=LIST[1];
U:=IndecInjectiveModules(A)[Size(SimpleModules(A))-1];
return(ProjDimensionOfModule(U,30));

end);





Created
Jun 22, 2018 at 16:20 by Rene Marczinzik
Updated
Jun 22, 2018 at 16:20 by Rene Marczinzik