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... => 1
[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... => 1
[1,0,1,1,1,0,0,0] generating graphics... => 0
[1,1,0,0,1,0,1,0] generating graphics... => 0
[1,1,0,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,0,0,1,0] generating graphics... => 1
[1,1,0,1,0,1,0,0] generating graphics... => 1
[1,1,0,1,1,0,0,0] generating graphics... => 1
[1,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,0,1,0,0] generating graphics... => 1
[1,1,1,0,1,0,0,0] generating graphics... => 2
[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... => 1
[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... => 1
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 1
[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... => 1
[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... => 0
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 0
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 0
[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... => 1
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 1
[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... => 1
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 1
[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... => 0
[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... => 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... => 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... => 2
[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... => 1
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 2
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 3
[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... => 1
[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... => 1
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 1
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 1
[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... => 1
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 2
[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... => 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... => 1
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 1
[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... => 1
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 1
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 2
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 2
[1,0,1,1,0,1,1,1,0,0,0,0] generating graphics... => 1
[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... => 1
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 1
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 1
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 2
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 2
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 2
[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... => 0
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 1
[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... => 3
[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... => 0
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 0
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 0
[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... => 0
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 0
[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... => 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... => 0
[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... => 2
[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... => 1
[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... => 1
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 2
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 1
[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... => 1
[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... => 1
[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... => 1
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 2
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 1
[1,1,0,1,0,1,1,1,0,0,0,0] generating graphics... => 1
[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... => 1
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 2
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 2
[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... => 2
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 1
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 1
[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... => 1
[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... => 3
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 3
[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... => 0
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 0
[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... => 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... => 0
[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... => 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... => 2
[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... => 2
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 1
[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... => 2
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 1
[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... => 3
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 3
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 3
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 2
[1,1,1,1,0,0,0,0,1,0,1,0] generating graphics... => 0
[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... => 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... => 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... => 2
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 3
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 3
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 3
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 3
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 3
[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... => 1
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 2
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 3
[1,1,1,1,1,0,1,0,0,0,0,0] generating graphics... => 4
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 0
click to show generating function       
Description
Number of indecomposable projective non-injective modules minus the number of indecomposable projective non-injective modules with dominant dimension equal to the injective dimension in the corresponding Nakayama algebra.
References
[1] Marczinzik, R. Upper bounds for the dominant dimension of Nakayama and related algebras arXiv:1605.09634
Code
DeclareOperation("numberofprojwithdomdimequalinjdim2", [IsList]);

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


local list, n, temp1, Liste_d, j, i, k, r, kk;


list:=L;
A:=NakayamaAlgebra(list,GF(3));
projA:=IndecProjectiveModules(A);prinA:=Filtered(projA,x->IsInjectiveModule(x)=false);
tempp:=[];for i in prinA do Append(tempp,[InjDimensionOfModule(i,30)-DominantDimensionOfModule(i,30)]);od;
UU:=Filtered(tempp,x->(x=0));
return(Size(prinA)-Size(UU));

end
);
Created
Jan 14, 2018 at 19:21 by Rene Marczinzik
Updated
Jan 14, 2018 at 19:21 by Rene Marczinzik