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... => 0
[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... => 0
[1,0,1,1,1,0,0,0] generating graphics... => 1
[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... => 0
[1,1,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,0] generating graphics... => 0
[1,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,0] generating graphics... => 0
[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... => 0
[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... => 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... => 0
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 0
[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... => 3
[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... => 0
[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... => 0
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 0
[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... => 0
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 0
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 0
[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... => 0
[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... => 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... => 0
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 0
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 0
[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... => 3
[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... => 0
[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... => 0
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 0
[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... => 0
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 0
[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... => 3
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 3
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 3
[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... => 6
[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... => 0
[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... => 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... => 0
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 0
[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... => 3
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 0
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 0
[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... => 0
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 0
[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... => 0
[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... => 0
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 0
[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... => 0
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,0,1,1,0,1,1,0,0,0,0] generating graphics... => 0
[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... => 3
[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... => 0
[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... => 0
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 0
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 0
[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... => 0
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 0
[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... => 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... => 0
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 0
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 0
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 0
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 0
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 0
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 0
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 0
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 0
[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... => 0
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 0
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 0
[1,1,1,1,1,0,1,0,0,0,0,0] generating graphics... => 0
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 0
click to show generating function       
Description
The dimension of $Ext_A^1(A/AeA,A)$ in the corresponding Nakayama algebra $A$ such that $eA$ is a minimal faithful projective-injective module.
Code

DeclareOperation("dimext1AAeAA",[IsList]);

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

local A,k,injA,RegA,temp,CoRegA,priA,U,UU;

A:=LIST[1];
k:=LIST[2];
projA:=IndecProjectiveModules(A);priA:=DirectSumOfQPAModules(Filtered(projA,x->IsInjectiveModule(x)=true));RegA:=DirectSumOfQPAModules(projA);
U:=TraceOfModule(priA,RegA);UU:=CoKernel(U);
return(Size(ExtOverAlgebra(NthSyzygy(UU,k-1),RegA)[2]));
end);
Created
May 13, 2018 at 11:41 by Rene Marczinzik
Updated
May 13, 2018 at 11:41 by Rene Marczinzik