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... => 1
[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... => 1
[1,0,1,0,1,1,0,0] generating graphics... => 1
[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... => 1
[1,1,0,0,1,1,0,0] generating graphics... => 1
[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... => 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... => 2
[1,0,1,0,1,0,1,1,0,0] generating graphics... => 1
[1,0,1,0,1,1,0,0,1,0] generating graphics... => 1
[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... => 1
[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... => 1
[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... => 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... => 1
[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... => 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... => 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... => 1
[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... => 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... => 1
[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... => 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... => 1
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 1
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 1
[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... => 3
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 2
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 1
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 2
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 1
[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... => 1
[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... => 2
[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... => 1
[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... => 1
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 1
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 1
[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... => 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... => 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... => 2
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 1
[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... => 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... => 1
[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... => 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... => 1
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 1
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 1
[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... => 2
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 1
[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... => 1
[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... => 1
[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... => 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... => 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... => 1
[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... => 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... => 1
[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... => 1
[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... => 1
[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... => 1
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 1
[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... => 1
[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... => 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... => 1
[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... => 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... => 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... => 1
[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... => 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... => 1
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 1
[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... => 1
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 1
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 1
[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... => 1
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 1
[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... => 1
[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... => 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... => 1
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 1
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 1
[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... => 1
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 1
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 1
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 1
[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
Number of simple reflexive modules that are 2-stable reflexive.
See Definition 3.1. in the reference for the definition of 2-stable reflexive.
References
[1] Ile, R. Stably reflexive modules and a lemma of Knudsen. zbMATH:06340882
Code
DeclareOperation("2stabrefsimple", [IsList]);

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


local A,RegA,simA,CoRegA,U;



A:=L[1];
simA:=SimpleModules(A);
RegA:=DirectSumOfQPAModules(IndecProjectiveModules(A));
CoRegA:=DirectSumOfQPAModules(IndecInjectiveModules(A));
U:=Filtered(simA,x->IsNtorsionfree([A,x,2])=0 and Size(ExtOverAlgebra(x,RegA)[2])=0 and Size(ExtOverAlgebra(CoRegA,NakayamaFunctorOfModule(x))[2])=0);
return(Size(U));

end
);
Created
Sep 07, 2018 at 18:08 by Rene Marczinzik
Updated
Sep 07, 2018 at 18:08 by Rene Marczinzik