Identifier
Identifier
Values
[1,0] generating graphics... => 0
[1,0,1,0] generating graphics... => 1
[1,1,0,0] generating graphics... => 0
[1,0,1,0,1,0] generating graphics... => 2
[1,0,1,1,0,0] generating graphics... => 1
[1,1,0,0,1,0] generating graphics... => 1
[1,1,0,1,0,0] generating graphics... => 1
[1,1,1,0,0,0] generating graphics... => 0
[1,0,1,0,1,0,1,0] generating graphics... => 3
[1,0,1,0,1,1,0,0] generating graphics... => 2
[1,0,1,1,0,0,1,0] generating graphics... => 2
[1,0,1,1,0,1,0,0] generating graphics... => 2
[1,0,1,1,1,0,0,0] generating graphics... => 1
[1,1,0,0,1,0,1,0] generating graphics... => 2
[1,1,0,0,1,1,0,0] generating graphics... => 1
[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... => 1
[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... => 1
[1,1,1,1,0,0,0,0] generating graphics... => 0
[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... => 3
[1,0,1,0,1,1,0,0,1,0] generating graphics... => 3
[1,0,1,0,1,1,0,1,0,0] generating graphics... => 3
[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... => 3
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 2
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 3
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 3
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 2
[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... => 1
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 3
[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... => 1
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 3
[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... => 3
[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... => 1
[1,1,1,0,0,0,1,0,1,0] generating graphics... => 2
[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... => 2
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 2
[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... => 2
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 2
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 2
[1,1,1,0,1,1,0,0,0,0] generating graphics... => 1
[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... => 1
[1,1,1,1,1,0,0,0,0,0] generating graphics... => 0
[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... => 4
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 4
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 4
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 3
[1,0,1,0,1,1,0,0,1,0,1,0] generating graphics... => 4
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 3
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 4
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 4
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 3
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 3
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 3
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 3
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 2
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 4
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 3
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 2
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 3
[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... => 4
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 3
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 4
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 3
[1,0,1,1,0,1,0,1,1,0,0,0] generating graphics... => 3
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 3
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 3
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 3
[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... => 3
[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... => 3
[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... => 3
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 3
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 3
[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... => 2
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 2
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 2
[1,0,1,1,1,1,0,1,0,0,0,0] generating graphics... => 2
[1,0,1,1,1,1,1,0,0,0,0,0] generating graphics... => 1
[1,1,0,0,1,0,1,0,1,0,1,0] generating graphics... => 4
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 3
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 3
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 3
[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... => 3
[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... => 3
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 3
[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... => 1
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 4
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 3
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 3
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 3
[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... => 4
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 3
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 3
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 3
[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... => 3
[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... => 3
[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... => 3
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 3
[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... => 3
[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... => 1
[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... => 2
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 2
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 2
[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... => 3
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 2
[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... => 2
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 2
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 2
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 2
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 2
[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... => 3
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 2
[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... => 2
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 2
[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... => 2
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 2
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 2
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 2
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 2
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 2
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 2
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 1
[1,1,1,1,0,0,0,0,1,0,1,0] generating graphics... => 2
[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... => 2
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 2
[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... => 2
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 2
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 2
[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... => 2
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 2
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 2
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 2
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 1
[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... => 1
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 0
click to show generating function       
Description
The projective dimension of the socle of the regular module as a bimodule in the Nakayama algebra corresponding to the Dyck path.
References
[1] Marczinzik, René Upper bounds for the dominant dimension of Nakayama and related algebras. zbMATH:06820683
Code

DeclareOperation("socletest",[IsList]);

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

local A,g,U,UU,g2;

A:=LIST[1];
U:=AlgebraAsModuleOverEnvelopingAlgebra(A);
UU:=SocleOfModule(U);
g:=ProjDimensionOfModule(UU,20);
return(g);
end);

Created
Apr 14, 2018 at 11:08 by Rene Marczinzik
Updated
Apr 14, 2018 at 11:08 by Rene Marczinzik