Identifier
Identifier
Values
[1,0] generating graphics... => 1
[1,0,1,0] generating graphics... => 1
[1,1,0,0] generating graphics... => 1
[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... => 1
[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... => 1
[1,0,1,1,0,1,0,0] generating graphics... => 1
[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... => 1
[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... => 2
[1,0,1,0,1,1,0,1,0,0] generating graphics... => 2
[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... => 2
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 1
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 2
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 2
[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... => 1
[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... => 1
[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... => 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... => 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... => 3
[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... => 1
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 1
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 1
[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... => 1
[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... => 3
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 3
[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... => 3
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 2
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 3
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 3
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 2
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 2
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 2
[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... => 2
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 3
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 2
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 1
[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... => 1
[1,0,1,1,0,1,0,0,1,0,1,0] generating graphics... => 3
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 2
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 3
[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... => 2
[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... => 1
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 1
[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... => 2
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 1
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 2
[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... => 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... => 1
[1,0,1,1,1,1,0,0,0,0,1,0] generating graphics... => 1
[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... => 1
[1,0,1,1,1,1,0,1,0,0,0,0] generating graphics... => 1
[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... => 2
[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... => 2
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 2
[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... => 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... => 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... => 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... => 2
[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... => 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... => 4
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 4
[1,1,0,1,0,1,0,1,1,0,0,0] generating graphics... => 3
[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... => 2
[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... => 2
[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... => 1
[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... => 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... => 1
[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... => 1
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 1
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 1
[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... => 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... => 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... => 3
[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... => 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... => 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... => 3
[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... => 3
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 3
[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... => 1
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 1
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 1
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 1
[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... => 1
click to show generating function       
Description
The number of simple modules S such that the Auslander-Reiten translate of S is isomorphic to the Nakayama functor applied to the second syzygy of S.
Code
DeclareOperation("testisodtrsecsyz",[IsList]);

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

local A,simA,U;

A:=LIST[1];
simA:=SimpleModules(A);
U:=Filtered(simA,x->IsomorphicModules(DTr(x),NakayamaFunctorOfModule(NthSyzygyNC(x,2)))=true);
return(Size(U));
end);

Created
Aug 13, 2018 at 14:06 by Rene Marczinzik
Updated
Aug 13, 2018 at 14:06 by Rene Marczinzik