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... => 3
[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... => 4
[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... => 4
[1,1,0,0,1,1,0,0] generating graphics... => 4
[1,1,0,1,0,0,1,0] generating graphics... => 4
[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... => 4
[1,1,1,0,0,1,0,0] generating graphics... => 4
[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... => 6
[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... => 5
[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... => 5
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 5
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 5
[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... => 5
[1,0,1,1,1,0,0,1,0,0] generating graphics... => 5
[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... => 5
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 5
[1,1,0,0,1,1,0,0,1,0] generating graphics... => 4
[1,1,0,0,1,1,0,1,0,0] generating graphics... => 5
[1,1,0,0,1,1,1,0,0,0] generating graphics... => 5
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 5
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 5
[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... => 5
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 5
[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... => 5
[1,1,1,0,0,0,1,1,0,0] generating graphics... => 5
[1,1,1,0,0,1,0,0,1,0] generating graphics... => 4
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 5
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 5
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 5
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 5
[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... => 5
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 5
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 5
[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... => 7
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 7
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 6
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 7
[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... => 6
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 6
[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... => 7
[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... => 6
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 6
[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... => 6
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 6
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 5
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 6
[1,0,1,1,0,0,1,1,1,0,0,0] generating graphics... => 6
[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... => 6
[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... => 6
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 6
[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... => 6
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 6
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 5
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 6
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 6
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 6
[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... => 6
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 6
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 6
[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... => 6
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 5
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 6
[1,1,0,0,1,0,1,1,1,0,0,0] generating graphics... => 6
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,0,0,1,1,0,0,1,1,0,0] generating graphics... => 5
[1,1,0,0,1,1,0,1,0,0,1,0] generating graphics... => 5
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 6
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 6
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 5
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 5
[1,1,0,0,1,1,1,0,1,0,0,0] generating graphics... => 6
[1,1,0,0,1,1,1,1,0,0,0,0] generating graphics... => 6
[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... => 6
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 5
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 6
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 6
[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... => 6
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 6
[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... => 6
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 6
[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... => 6
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 6
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 5
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 6
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 6
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 6
[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... => 6
[1,1,0,1,1,1,0,0,0,1,0,0] generating graphics... => 6
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 6
[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... => 6
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 6
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 5
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 6
[1,1,1,0,0,0,1,1,1,0,0,0] generating graphics... => 6
[1,1,1,0,0,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 5
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 5
[1,1,1,0,0,1,0,1,0,1,0,0] generating graphics... => 6
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 6
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 5
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 5
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 6
[1,1,1,0,0,1,1,1,0,0,0,0] generating graphics... => 6
[1,1,1,0,1,0,0,0,1,0,1,0] generating graphics... => 6
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 6
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 5
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 6
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 6
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 6
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 6
[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... => 6
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 6
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 6
[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... => 6
[1,1,1,1,0,0,0,0,1,1,0,0] generating graphics... => 6
[1,1,1,1,0,0,0,1,0,0,1,0] generating graphics... => 5
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 6
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 6
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 5
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 5
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 6
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 6
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 6
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 6
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 6
[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... => 6
[1,1,1,1,1,0,0,0,0,1,0,0] generating graphics... => 6
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 6
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 6
[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
The number of simple modules with injective dimension at most one or dominant dimension at least one.
Code
DeclareOperation("siminjdomdim1", [IsList]);

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

local A,RegA,J,simA,U,projA,UU,n;
A:=L[1];
U:=SimpleModules(A);
UU:=Filtered(U,x->InjDimensionOfModule(x,30)<=1 or DominantDimensionOfModule(x,30)>=1);
return(Size(UU));
end
);

Created
Jul 28, 2018 at 16:48 by Rene Marczinzik
Updated
Jul 28, 2018 at 16:48 by Rene Marczinzik