edit this statistic or download as text // json
Identifier
Values
=>
Cc0005;cc-rep
[1,0]=>0 [1,0,1,0]=>0 [1,1,0,0]=>0 [1,0,1,0,1,0]=>1 [1,0,1,1,0,0]=>0 [1,1,0,0,1,0]=>0 [1,1,0,1,0,0]=>0 [1,1,1,0,0,0]=>0 [1,0,1,0,1,0,1,0]=>2 [1,0,1,0,1,1,0,0]=>1 [1,0,1,1,0,0,1,0]=>0 [1,0,1,1,0,1,0,0]=>1 [1,0,1,1,1,0,0,0]=>0 [1,1,0,0,1,0,1,0]=>0 [1,1,0,0,1,1,0,0]=>0 [1,1,0,1,0,0,1,0]=>0 [1,1,0,1,0,1,0,0]=>1 [1,1,0,1,1,0,0,0]=>0 [1,1,1,0,0,0,1,0]=>0 [1,1,1,0,0,1,0,0]=>0 [1,1,1,0,1,0,0,0]=>0 [1,1,1,1,0,0,0,0]=>0 [1,0,1,0,1,0,1,0,1,0]=>3 [1,0,1,0,1,0,1,1,0,0]=>2 [1,0,1,0,1,1,0,0,1,0]=>1 [1,0,1,0,1,1,0,1,0,0]=>2 [1,0,1,0,1,1,1,0,0,0]=>1 [1,0,1,1,0,0,1,0,1,0]=>0 [1,0,1,1,0,0,1,1,0,0]=>0 [1,0,1,1,0,1,0,0,1,0]=>1 [1,0,1,1,0,1,0,1,0,0]=>2 [1,0,1,1,0,1,1,0,0,0]=>1 [1,0,1,1,1,0,0,0,1,0]=>0 [1,0,1,1,1,0,0,1,0,0]=>0 [1,0,1,1,1,0,1,0,0,0]=>1 [1,0,1,1,1,1,0,0,0,0]=>0 [1,1,0,0,1,0,1,0,1,0]=>1 [1,1,0,0,1,0,1,1,0,0]=>0 [1,1,0,0,1,1,0,0,1,0]=>0 [1,1,0,0,1,1,0,1,0,0]=>0 [1,1,0,0,1,1,1,0,0,0]=>0 [1,1,0,1,0,0,1,0,1,0]=>0 [1,1,0,1,0,0,1,1,0,0]=>0 [1,1,0,1,0,1,0,0,1,0]=>1 [1,1,0,1,0,1,0,1,0,0]=>2 [1,1,0,1,0,1,1,0,0,0]=>1 [1,1,0,1,1,0,0,0,1,0]=>0 [1,1,0,1,1,0,0,1,0,0]=>0 [1,1,0,1,1,0,1,0,0,0]=>1 [1,1,0,1,1,1,0,0,0,0]=>0 [1,1,1,0,0,0,1,0,1,0]=>0 [1,1,1,0,0,0,1,1,0,0]=>0 [1,1,1,0,0,1,0,0,1,0]=>0 [1,1,1,0,0,1,0,1,0,0]=>0 [1,1,1,0,0,1,1,0,0,0]=>0 [1,1,1,0,1,0,0,0,1,0]=>0 [1,1,1,0,1,0,0,1,0,0]=>0 [1,1,1,0,1,0,1,0,0,0]=>1 [1,1,1,0,1,1,0,0,0,0]=>0 [1,1,1,1,0,0,0,0,1,0]=>0 [1,1,1,1,0,0,0,1,0,0]=>0 [1,1,1,1,0,0,1,0,0,0]=>0 [1,1,1,1,0,1,0,0,0,0]=>0 [1,1,1,1,1,0,0,0,0,0]=>0 [1,0,1,0,1,0,1,0,1,0,1,0]=>4 [1,0,1,0,1,0,1,0,1,1,0,0]=>3 [1,0,1,0,1,0,1,1,0,0,1,0]=>2 [1,0,1,0,1,0,1,1,0,1,0,0]=>3 [1,0,1,0,1,0,1,1,1,0,0,0]=>2 [1,0,1,0,1,1,0,0,1,0,1,0]=>1 [1,0,1,0,1,1,0,0,1,1,0,0]=>1 [1,0,1,0,1,1,0,1,0,0,1,0]=>2 [1,0,1,0,1,1,0,1,0,1,0,0]=>3 [1,0,1,0,1,1,0,1,1,0,0,0]=>2 [1,0,1,0,1,1,1,0,0,0,1,0]=>1 [1,0,1,0,1,1,1,0,0,1,0,0]=>1 [1,0,1,0,1,1,1,0,1,0,0,0]=>2 [1,0,1,0,1,1,1,1,0,0,0,0]=>1 [1,0,1,1,0,0,1,0,1,0,1,0]=>1 [1,0,1,1,0,0,1,0,1,1,0,0]=>0 [1,0,1,1,0,0,1,1,0,0,1,0]=>0 [1,0,1,1,0,0,1,1,0,1,0,0]=>0 [1,0,1,1,0,0,1,1,1,0,0,0]=>0 [1,0,1,1,0,1,0,0,1,0,1,0]=>1 [1,0,1,1,0,1,0,0,1,1,0,0]=>1 [1,0,1,1,0,1,0,1,0,0,1,0]=>2 [1,0,1,1,0,1,0,1,0,1,0,0]=>3 [1,0,1,1,0,1,0,1,1,0,0,0]=>2 [1,0,1,1,0,1,1,0,0,0,1,0]=>1 [1,0,1,1,0,1,1,0,0,1,0,0]=>1 [1,0,1,1,0,1,1,0,1,0,0,0]=>2 [1,0,1,1,0,1,1,1,0,0,0,0]=>1 [1,0,1,1,1,0,0,0,1,0,1,0]=>0 [1,0,1,1,1,0,0,0,1,1,0,0]=>0 [1,0,1,1,1,0,0,1,0,0,1,0]=>0 [1,0,1,1,1,0,0,1,0,1,0,0]=>0 [1,0,1,1,1,0,0,1,1,0,0,0]=>0 [1,0,1,1,1,0,1,0,0,0,1,0]=>1 [1,0,1,1,1,0,1,0,0,1,0,0]=>1 [1,0,1,1,1,0,1,0,1,0,0,0]=>2 [1,0,1,1,1,0,1,1,0,0,0,0]=>1 [1,0,1,1,1,1,0,0,0,0,1,0]=>0 [1,0,1,1,1,1,0,0,0,1,0,0]=>0 [1,0,1,1,1,1,0,0,1,0,0,0]=>0 [1,0,1,1,1,1,0,1,0,0,0,0]=>1 [1,0,1,1,1,1,1,0,0,0,0,0]=>0 [1,1,0,0,1,0,1,0,1,0,1,0]=>2 [1,1,0,0,1,0,1,0,1,1,0,0]=>1 [1,1,0,0,1,0,1,1,0,0,1,0]=>0 [1,1,0,0,1,0,1,1,0,1,0,0]=>1 [1,1,0,0,1,0,1,1,1,0,0,0]=>0 [1,1,0,0,1,1,0,0,1,0,1,0]=>0 [1,1,0,0,1,1,0,0,1,1,0,0]=>0 [1,1,0,0,1,1,0,1,0,0,1,0]=>0 [1,1,0,0,1,1,0,1,0,1,0,0]=>1 [1,1,0,0,1,1,0,1,1,0,0,0]=>0 [1,1,0,0,1,1,1,0,0,0,1,0]=>0 [1,1,0,0,1,1,1,0,0,1,0,0]=>0 [1,1,0,0,1,1,1,0,1,0,0,0]=>0 [1,1,0,0,1,1,1,1,0,0,0,0]=>0 [1,1,0,1,0,0,1,0,1,0,1,0]=>1 [1,1,0,1,0,0,1,0,1,1,0,0]=>0 [1,1,0,1,0,0,1,1,0,0,1,0]=>0 [1,1,0,1,0,0,1,1,0,1,0,0]=>0 [1,1,0,1,0,0,1,1,1,0,0,0]=>0 [1,1,0,1,0,1,0,0,1,0,1,0]=>1 [1,1,0,1,0,1,0,0,1,1,0,0]=>1 [1,1,0,1,0,1,0,1,0,0,1,0]=>2 [1,1,0,1,0,1,0,1,0,1,0,0]=>3 [1,1,0,1,0,1,0,1,1,0,0,0]=>2 [1,1,0,1,0,1,1,0,0,0,1,0]=>1 [1,1,0,1,0,1,1,0,0,1,0,0]=>1 [1,1,0,1,0,1,1,0,1,0,0,0]=>2 [1,1,0,1,0,1,1,1,0,0,0,0]=>1 [1,1,0,1,1,0,0,0,1,0,1,0]=>0 [1,1,0,1,1,0,0,0,1,1,0,0]=>0 [1,1,0,1,1,0,0,1,0,0,1,0]=>0 [1,1,0,1,1,0,0,1,0,1,0,0]=>0 [1,1,0,1,1,0,0,1,1,0,0,0]=>0 [1,1,0,1,1,0,1,0,0,0,1,0]=>1 [1,1,0,1,1,0,1,0,0,1,0,0]=>1 [1,1,0,1,1,0,1,0,1,0,0,0]=>2 [1,1,0,1,1,0,1,1,0,0,0,0]=>1 [1,1,0,1,1,1,0,0,0,0,1,0]=>0 [1,1,0,1,1,1,0,0,0,1,0,0]=>0 [1,1,0,1,1,1,0,0,1,0,0,0]=>0 [1,1,0,1,1,1,0,1,0,0,0,0]=>1 [1,1,0,1,1,1,1,0,0,0,0,0]=>0 [1,1,1,0,0,0,1,0,1,0,1,0]=>1 [1,1,1,0,0,0,1,0,1,1,0,0]=>0 [1,1,1,0,0,0,1,1,0,0,1,0]=>0 [1,1,1,0,0,0,1,1,0,1,0,0]=>0 [1,1,1,0,0,0,1,1,1,0,0,0]=>0 [1,1,1,0,0,1,0,0,1,0,1,0]=>0 [1,1,1,0,0,1,0,0,1,1,0,0]=>0 [1,1,1,0,0,1,0,1,0,0,1,0]=>0 [1,1,1,0,0,1,0,1,0,1,0,0]=>1 [1,1,1,0,0,1,0,1,1,0,0,0]=>0 [1,1,1,0,0,1,1,0,0,0,1,0]=>0 [1,1,1,0,0,1,1,0,0,1,0,0]=>0 [1,1,1,0,0,1,1,0,1,0,0,0]=>0 [1,1,1,0,0,1,1,1,0,0,0,0]=>0 [1,1,1,0,1,0,0,0,1,0,1,0]=>0 [1,1,1,0,1,0,0,0,1,1,0,0]=>0 [1,1,1,0,1,0,0,1,0,0,1,0]=>0 [1,1,1,0,1,0,0,1,0,1,0,0]=>0 [1,1,1,0,1,0,0,1,1,0,0,0]=>0 [1,1,1,0,1,0,1,0,0,0,1,0]=>1 [1,1,1,0,1,0,1,0,0,1,0,0]=>1 [1,1,1,0,1,0,1,0,1,0,0,0]=>2 [1,1,1,0,1,0,1,1,0,0,0,0]=>1 [1,1,1,0,1,1,0,0,0,0,1,0]=>0 [1,1,1,0,1,1,0,0,0,1,0,0]=>0 [1,1,1,0,1,1,0,0,1,0,0,0]=>0 [1,1,1,0,1,1,0,1,0,0,0,0]=>1 [1,1,1,0,1,1,1,0,0,0,0,0]=>0 [1,1,1,1,0,0,0,0,1,0,1,0]=>0 [1,1,1,1,0,0,0,0,1,1,0,0]=>0 [1,1,1,1,0,0,0,1,0,0,1,0]=>0 [1,1,1,1,0,0,0,1,0,1,0,0]=>0 [1,1,1,1,0,0,0,1,1,0,0,0]=>0 [1,1,1,1,0,0,1,0,0,0,1,0]=>0 [1,1,1,1,0,0,1,0,0,1,0,0]=>0 [1,1,1,1,0,0,1,0,1,0,0,0]=>0 [1,1,1,1,0,0,1,1,0,0,0,0]=>0 [1,1,1,1,0,1,0,0,0,0,1,0]=>0 [1,1,1,1,0,1,0,0,0,1,0,0]=>0 [1,1,1,1,0,1,0,0,1,0,0,0]=>0 [1,1,1,1,0,1,0,1,0,0,0,0]=>1 [1,1,1,1,0,1,1,0,0,0,0,0]=>0 [1,1,1,1,1,0,0,0,0,0,1,0]=>0 [1,1,1,1,1,0,0,0,0,1,0,0]=>0 [1,1,1,1,1,0,0,0,1,0,0,0]=>0 [1,1,1,1,1,0,0,1,0,0,0,0]=>0 [1,1,1,1,1,0,1,0,0,0,0,0]=>0 [1,1,1,1,1,1,0,0,0,0,0,0]=>0
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
Number of simple modules S in the corresponding Nakayama algebra such that the Auslander-Reiten sequence ending at S has the property that all modules in the exact sequence are reflexive.
Code
DeclareOperation("IsReflexive", [IsList]);

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

local A,SS,CoRegA,dd1,dd2;
A:=L[1];
SS:=L[2];
CoRegA:=DirectSumOfQPAModules(IndecInjectiveModules(A));
dd1:=Size(ExtOverAlgebra(CoRegA,DTr(SS))[2]);
dd2:=Size(ExtOverAlgebra(NthSyzygy(CoRegA,1),DTr(SS))[2]);
return(dd1+dd2);
end
);

DeclareOperation("HasProjreflexiveARseq", [IsList]);

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

local A,P,UU1,UU2;
A:=L[1];
P:=L[2];
UU1:=DTr(P,-1);
UU2:=Source(AlmostSplitSequence(UU1)[2]);
return(IsReflexive([A,UU1])+IsReflexive([A,UU2]));
end
);


DeclareOperation("NumberreflexiveARseq", [IsList]);

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

local L,A,simA,prnotinjA,tulu,tr;
L:=L[1];
A:=NakayamaAlgebra(L,GF(3));
simA:=SimpleModules(A);prnotinjA:=Filtered(simA,x->IsInjectiveModule(x)=false);
tulu:=[];for i in prnotinjA do Append(tulu,[HasProjreflexiveARseq([A,i])]);od;
tr:=Filtered(tulu,x->(x=0));
return(Size(tr));
end
);
Created
Jun 25, 2018 at 18:37 by Rene Marczinzik
Updated
Jun 25, 2018 at 18:37 by Rene Marczinzik