Identifier
Identifier
Values
[1,0] generating graphics... => 1
[1,0,1,0] generating graphics... => 2
[1,1,0,0] generating graphics... => 3
[1,0,1,0,1,0] generating graphics... => 3
[1,0,1,1,0,0] generating graphics... => 4
[1,1,0,0,1,0] generating graphics... => 4
[1,1,0,1,0,0] generating graphics... => 4
[1,1,1,0,0,0] generating graphics... => 6
[1,0,1,0,1,0,1,0] generating graphics... => 4
[1,0,1,0,1,1,0,0] generating graphics... => 5
[1,0,1,1,0,0,1,0] generating graphics... => 5
[1,0,1,1,0,1,0,0] generating graphics... => 5
[1,0,1,1,1,0,0,0] generating graphics... => 7
[1,1,0,0,1,0,1,0] generating graphics... => 5
[1,1,0,0,1,1,0,0] generating graphics... => 6
[1,1,0,1,0,0,1,0] generating graphics... => 5
[1,1,0,1,0,1,0,0] generating graphics... => 5
[1,1,0,1,1,0,0,0] generating graphics... => 6
[1,1,1,0,0,0,1,0] generating graphics... => 7
[1,1,1,0,0,1,0,0] generating graphics... => 7
[1,1,1,0,1,0,0,0] generating graphics... => 7
[1,1,1,1,0,0,0,0] generating graphics... => 10
[1,0,1,0,1,0,1,0,1,0] generating graphics... => 5
[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... => 6
[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... => 8
[1,0,1,1,0,0,1,0,1,0] generating graphics... => 6
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 7
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 6
[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... => 7
[1,0,1,1,1,0,0,0,1,0] generating graphics... => 8
[1,0,1,1,1,0,0,1,0,0] generating graphics... => 8
[1,0,1,1,1,0,1,0,0,0] generating graphics... => 8
[1,0,1,1,1,1,0,0,0,0] generating graphics... => 11
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 6
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 7
[1,1,0,0,1,1,0,0,1,0] generating graphics... => 7
[1,1,0,0,1,1,0,1,0,0] generating graphics... => 7
[1,1,0,0,1,1,1,0,0,0] generating graphics... => 9
[1,1,0,1,0,0,1,0,1,0] generating graphics... => 6
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 7
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 6
[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... => 7
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 7
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 7
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 7
[1,1,0,1,1,1,0,0,0,0] generating graphics... => 9
[1,1,1,0,0,0,1,0,1,0] generating graphics... => 8
[1,1,1,0,0,0,1,1,0,0] generating graphics... => 9
[1,1,1,0,0,1,0,0,1,0] generating graphics... => 8
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 8
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 9
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 8
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 8
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 8
[1,1,1,0,1,1,0,0,0,0] generating graphics... => 9
[1,1,1,1,0,0,0,0,1,0] generating graphics... => 11
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 11
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 11
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 11
[1,1,1,1,1,0,0,0,0,0] generating graphics... => 15
[1,0,1,0,1,0,1,0,1,0,1,0] generating graphics... => 6
[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... => 7
[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... => 9
[1,0,1,0,1,1,0,0,1,0,1,0] generating graphics... => 7
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 8
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 7
[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... => 8
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 9
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 9
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 9
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 12
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 7
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 8
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 8
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 8
[1,0,1,1,0,0,1,1,1,0,0,0] generating graphics... => 10
[1,0,1,1,0,1,0,0,1,0,1,0] generating graphics... => 7
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 8
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 7
[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... => 8
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 8
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 8
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 8
[1,0,1,1,0,1,1,1,0,0,0,0] generating graphics... => 10
[1,0,1,1,1,0,0,0,1,0,1,0] generating graphics... => 9
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 10
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 9
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 9
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 10
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 9
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 9
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 9
[1,0,1,1,1,0,1,1,0,0,0,0] generating graphics... => 10
[1,0,1,1,1,1,0,0,0,0,1,0] generating graphics... => 12
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 12
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 12
[1,0,1,1,1,1,0,1,0,0,0,0] generating graphics... => 12
[1,0,1,1,1,1,1,0,0,0,0,0] generating graphics... => 16
[1,1,0,0,1,0,1,0,1,0,1,0] generating graphics... => 7
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 8
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 8
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 8
[1,1,0,0,1,0,1,1,1,0,0,0] generating graphics... => 10
[1,1,0,0,1,1,0,0,1,0,1,0] generating graphics... => 8
[1,1,0,0,1,1,0,0,1,1,0,0] generating graphics... => 9
[1,1,0,0,1,1,0,1,0,0,1,0] generating graphics... => 8
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 8
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 9
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 10
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 10
[1,1,0,0,1,1,1,0,1,0,0,0] generating graphics... => 10
[1,1,0,0,1,1,1,1,0,0,0,0] generating graphics... => 13
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 7
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 8
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 8
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 8
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 10
[1,1,0,1,0,1,0,0,1,0,1,0] generating graphics... => 7
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 8
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 7
[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... => 8
[1,1,0,1,0,1,1,0,0,0,1,0] generating graphics... => 8
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 8
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 8
[1,1,0,1,0,1,1,1,0,0,0,0] generating graphics... => 10
[1,1,0,1,1,0,0,0,1,0,1,0] generating graphics... => 8
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 9
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 8
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 8
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 9
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 8
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 8
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 8
[1,1,0,1,1,0,1,1,0,0,0,0] generating graphics... => 9
[1,1,0,1,1,1,0,0,0,0,1,0] generating graphics... => 10
[1,1,0,1,1,1,0,0,0,1,0,0] generating graphics... => 10
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 10
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 10
[1,1,0,1,1,1,1,0,0,0,0,0] generating graphics... => 13
[1,1,1,0,0,0,1,0,1,0,1,0] generating graphics... => 9
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 10
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 10
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 10
[1,1,1,0,0,0,1,1,1,0,0,0] generating graphics... => 12
[1,1,1,0,0,1,0,0,1,0,1,0] generating graphics... => 9
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 10
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 9
[1,1,1,0,0,1,0,1,0,1,0,0] generating graphics... => 9
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 10
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 10
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 10
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 10
[1,1,1,0,0,1,1,1,0,0,0,0] generating graphics... => 12
[1,1,1,0,1,0,0,0,1,0,1,0] generating graphics... => 9
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 10
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 9
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 9
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 10
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 9
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 9
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 9
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 10
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 10
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 10
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 10
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 10
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 12
[1,1,1,1,0,0,0,0,1,0,1,0] generating graphics... => 12
[1,1,1,1,0,0,0,0,1,1,0,0] generating graphics... => 13
[1,1,1,1,0,0,0,1,0,0,1,0] generating graphics... => 12
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 12
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 13
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 12
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 12
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 12
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 13
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 12
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 12
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 12
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 12
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 13
[1,1,1,1,1,0,0,0,0,0,1,0] generating graphics... => 16
[1,1,1,1,1,0,0,0,0,1,0,0] generating graphics... => 16
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 16
[1,1,1,1,1,0,0,1,0,0,0,0] generating graphics... => 16
[1,1,1,1,1,0,1,0,0,0,0,0] generating graphics... => 16
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 21
click to show generating function       
Description
The vector space dimension of the first extension-group between A/soc(A) and J when A is the corresponding Nakayama algebra with Jacobson radical J.
Code

DeclareOperation("Ext1socrad",[IsList]);

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

local A,RegA,CoRegA,R,U;

A:=LIST[1];
RegA:=DirectSumOfQPAModules(IndecProjectiveModules(A));
R:=RadicalOfModule(RegA);
U:=CoKernel(SocleOfModuleInclusion(RegA));
return(Size(ExtOverAlgebra(U,R)[2]));
end);

Created
Sep 11, 2018 at 22:21 by Rene Marczinzik
Updated
Sep 11, 2018 at 22:21 by Rene Marczinzik