Identifier
Identifier
Values
[1,0] generating graphics... => 0
[1,0,1,0] generating graphics... => 0
[1,1,0,0] generating graphics... => 0
[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... => 0
[1,1,0,1,0,0] generating graphics... => 0
[1,1,1,0,0,0] generating graphics... => 0
[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... => 0
[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... => 0
[1,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,0,0] generating graphics... => 0
[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... => 1
[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... => 2
[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... => 0
[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... => 0
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 1
[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... => 0
[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... => 0
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 0
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 0
[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... => 0
[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... => 1
[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... => 2
[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... => 0
[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... => 0
[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... => 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... => 1
[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... => 1
[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... => 3
[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... => 1
[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... => 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... => 0
[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... => 1
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 0
[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... => 0
[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... => 1
[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... => 1
[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... => 1
[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... => 1
[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... => 1
[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... => 2
[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... => 0
[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... => 0
[1,1,1,0,0,1,0,0,1,0,1,0] generating graphics... => 2
[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... => 0
[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... => 0
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 0
[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... => 0
[1,1,1,0,0,1,1,1,0,0,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,0,1,0,1,0] generating graphics... => 1
[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... => 1
[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... => 0
[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... => 0
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,1,1,0,0,0,0,1,0,0] generating graphics... => 0
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 0
[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... => 0
click to show generating function       
Description
The injective dimension of the tensor product of two copies of the dual of the Nakayama algebra associated to a Dyck path.
Here $A$ is the Nakayama algebra associated to a Dyck path as given in DyckPaths/NakayamaAlgebras.
Code
DeclareOperation("injdimdada", [IsList]);

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

local A,RegA,J,simA,U,projA,UU,CoRegA,W,WW,WW2;
A:=L[1];
CoRegA:=DirectSumOfQPAModules(IndecInjectiveModules(A));
W:=NakayamaFunctorOfModule(CoRegA);
return(InjDimensionOfModule(W,30));
end
);

Created
Nov 15, 2018 at 22:52 by Rene Marczinzik
Updated
Nov 16, 2018 at 10:30 by Rene Marczinzik