Identifier
Identifier
Values
[1,0] generating graphics... => 2
[1,0,1,0] generating graphics... => 4
[1,1,0,0] generating graphics... => 3
[1,0,1,0,1,0] generating graphics... => 6
[1,0,1,1,0,0] generating graphics... => 5
[1,1,0,0,1,0] generating graphics... => 7
[1,1,0,1,0,0] generating graphics... => 6
[1,1,1,0,0,0] generating graphics... => 4
[1,0,1,0,1,0,1,0] generating graphics... => 8
[1,0,1,0,1,1,0,0] generating graphics... => 7
[1,0,1,1,0,0,1,0] generating graphics... => 9
[1,0,1,1,0,1,0,0] generating graphics... => 8
[1,0,1,1,1,0,0,0] generating graphics... => 6
[1,1,0,0,1,0,1,0] generating graphics... => 8
[1,1,0,0,1,1,0,0] generating graphics... => 8
[1,1,0,1,0,0,1,0] generating graphics... => 10
[1,1,0,1,0,1,0,0] generating graphics... => 9
[1,1,0,1,1,0,0,0] generating graphics... => 7
[1,1,1,0,0,0,1,0] generating graphics... => 10
[1,1,1,0,0,1,0,0] generating graphics... => 10
[1,1,1,0,1,0,0,0] generating graphics... => 8
[1,1,1,1,0,0,0,0] generating graphics... => 5
[1,0,1,0,1,0,1,0,1,0] generating graphics... => 10
[1,0,1,0,1,0,1,1,0,0] generating graphics... => 9
[1,0,1,0,1,1,0,0,1,0] generating graphics... => 11
[1,0,1,0,1,1,0,1,0,0] generating graphics... => 10
[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... => 10
[1,0,1,1,0,0,1,1,0,0] generating graphics... => 10
[1,0,1,1,0,1,0,0,1,0] generating graphics... => 12
[1,0,1,1,0,1,0,1,0,0] generating graphics... => 11
[1,0,1,1,0,1,1,0,0,0] generating graphics... => 9
[1,0,1,1,1,0,0,0,1,0] generating graphics... => 12
[1,0,1,1,1,0,0,1,0,0] generating graphics... => 12
[1,0,1,1,1,0,1,0,0,0] generating graphics... => 10
[1,0,1,1,1,1,0,0,0,0] generating graphics... => 7
[1,1,0,0,1,0,1,0,1,0] generating graphics... => 10
[1,1,0,0,1,0,1,1,0,0] generating graphics... => 9
[1,1,0,0,1,1,0,0,1,0] generating graphics... => 12
[1,1,0,0,1,1,0,1,0,0] generating graphics... => 10
[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... => 11
[1,1,0,1,0,0,1,1,0,0] generating graphics... => 11
[1,1,0,1,0,1,0,0,1,0] generating graphics... => 13
[1,1,0,1,0,1,0,1,0,0] generating graphics... => 12
[1,1,0,1,0,1,1,0,0,0] generating graphics... => 10
[1,1,0,1,1,0,0,0,1,0] generating graphics... => 13
[1,1,0,1,1,0,0,1,0,0] generating graphics... => 13
[1,1,0,1,1,0,1,0,0,0] generating graphics... => 11
[1,1,0,1,1,1,0,0,0,0] generating graphics... => 8
[1,1,1,0,0,0,1,0,1,0] generating graphics... => 10
[1,1,1,0,0,0,1,1,0,0] generating graphics... => 11
[1,1,1,0,0,1,0,0,1,0] generating graphics... => 13
[1,1,1,0,0,1,0,1,0,0] generating graphics... => 13
[1,1,1,0,0,1,1,0,0,0] generating graphics... => 11
[1,1,1,0,1,0,0,0,1,0] generating graphics... => 14
[1,1,1,0,1,0,0,1,0,0] generating graphics... => 14
[1,1,1,0,1,0,1,0,0,0] generating graphics... => 12
[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... => 13
[1,1,1,1,0,0,0,1,0,0] generating graphics... => 14
[1,1,1,1,0,0,1,0,0,0] generating graphics... => 13
[1,1,1,1,0,1,0,0,0,0] generating graphics... => 10
[1,1,1,1,1,0,0,0,0,0] generating graphics... => 6
[1,0,1,0,1,0,1,0,1,0,1,0] generating graphics... => 12
[1,0,1,0,1,0,1,0,1,1,0,0] generating graphics... => 11
[1,0,1,0,1,0,1,1,0,0,1,0] generating graphics... => 13
[1,0,1,0,1,0,1,1,0,1,0,0] generating graphics... => 12
[1,0,1,0,1,0,1,1,1,0,0,0] generating graphics... => 10
[1,0,1,0,1,1,0,0,1,0,1,0] generating graphics... => 12
[1,0,1,0,1,1,0,0,1,1,0,0] generating graphics... => 12
[1,0,1,0,1,1,0,1,0,0,1,0] generating graphics... => 14
[1,0,1,0,1,1,0,1,0,1,0,0] generating graphics... => 13
[1,0,1,0,1,1,0,1,1,0,0,0] generating graphics... => 11
[1,0,1,0,1,1,1,0,0,0,1,0] generating graphics... => 14
[1,0,1,0,1,1,1,0,0,1,0,0] generating graphics... => 14
[1,0,1,0,1,1,1,0,1,0,0,0] generating graphics... => 12
[1,0,1,0,1,1,1,1,0,0,0,0] generating graphics... => 9
[1,0,1,1,0,0,1,0,1,0,1,0] generating graphics... => 12
[1,0,1,1,0,0,1,0,1,1,0,0] generating graphics... => 11
[1,0,1,1,0,0,1,1,0,0,1,0] generating graphics... => 14
[1,0,1,1,0,0,1,1,0,1,0,0] generating graphics... => 12
[1,0,1,1,0,0,1,1,1,0,0,0] generating graphics... => 11
[1,0,1,1,0,1,0,0,1,0,1,0] generating graphics... => 13
[1,0,1,1,0,1,0,0,1,1,0,0] generating graphics... => 13
[1,0,1,1,0,1,0,1,0,0,1,0] generating graphics... => 15
[1,0,1,1,0,1,0,1,0,1,0,0] generating graphics... => 14
[1,0,1,1,0,1,0,1,1,0,0,0] generating graphics... => 12
[1,0,1,1,0,1,1,0,0,0,1,0] generating graphics... => 15
[1,0,1,1,0,1,1,0,0,1,0,0] generating graphics... => 15
[1,0,1,1,0,1,1,0,1,0,0,0] generating graphics... => 13
[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... => 12
[1,0,1,1,1,0,0,0,1,1,0,0] generating graphics... => 13
[1,0,1,1,1,0,0,1,0,0,1,0] generating graphics... => 15
[1,0,1,1,1,0,0,1,0,1,0,0] generating graphics... => 15
[1,0,1,1,1,0,0,1,1,0,0,0] generating graphics... => 13
[1,0,1,1,1,0,1,0,0,0,1,0] generating graphics... => 16
[1,0,1,1,1,0,1,0,0,1,0,0] generating graphics... => 16
[1,0,1,1,1,0,1,0,1,0,0,0] generating graphics... => 14
[1,0,1,1,1,0,1,1,0,0,0,0] generating graphics... => 11
[1,0,1,1,1,1,0,0,0,0,1,0] generating graphics... => 15
[1,0,1,1,1,1,0,0,0,1,0,0] generating graphics... => 16
[1,0,1,1,1,1,0,0,1,0,0,0] generating graphics... => 15
[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... => 8
[1,1,0,0,1,0,1,0,1,0,1,0] generating graphics... => 12
[1,1,0,0,1,0,1,0,1,1,0,0] generating graphics... => 11
[1,1,0,0,1,0,1,1,0,0,1,0] generating graphics... => 13
[1,1,0,0,1,0,1,1,0,1,0,0] generating graphics... => 12
[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... => 13
[1,1,0,0,1,1,0,0,1,1,0,0] generating graphics... => 13
[1,1,0,0,1,1,0,1,0,0,1,0] generating graphics... => 14
[1,1,0,0,1,1,0,1,0,1,0,0] generating graphics... => 13
[1,1,0,0,1,1,0,1,1,0,0,0] generating graphics... => 11
[1,1,0,0,1,1,1,0,0,0,1,0] generating graphics... => 15
[1,1,0,0,1,1,1,0,0,1,0,0] generating graphics... => 15
[1,1,0,0,1,1,1,0,1,0,0,0] generating graphics... => 12
[1,1,0,0,1,1,1,1,0,0,0,0] generating graphics... => 10
[1,1,0,1,0,0,1,0,1,0,1,0] generating graphics... => 13
[1,1,0,1,0,0,1,0,1,1,0,0] generating graphics... => 12
[1,1,0,1,0,0,1,1,0,0,1,0] generating graphics... => 15
[1,1,0,1,0,0,1,1,0,1,0,0] generating graphics... => 13
[1,1,0,1,0,0,1,1,1,0,0,0] generating graphics... => 12
[1,1,0,1,0,1,0,0,1,0,1,0] generating graphics... => 14
[1,1,0,1,0,1,0,0,1,1,0,0] generating graphics... => 14
[1,1,0,1,0,1,0,1,0,0,1,0] generating graphics... => 16
[1,1,0,1,0,1,0,1,0,1,0,0] generating graphics... => 15
[1,1,0,1,0,1,0,1,1,0,0,0] generating graphics... => 13
[1,1,0,1,0,1,1,0,0,0,1,0] generating graphics... => 16
[1,1,0,1,0,1,1,0,0,1,0,0] generating graphics... => 16
[1,1,0,1,0,1,1,0,1,0,0,0] generating graphics... => 14
[1,1,0,1,0,1,1,1,0,0,0,0] generating graphics... => 11
[1,1,0,1,1,0,0,0,1,0,1,0] generating graphics... => 13
[1,1,0,1,1,0,0,0,1,1,0,0] generating graphics... => 14
[1,1,0,1,1,0,0,1,0,0,1,0] generating graphics... => 16
[1,1,0,1,1,0,0,1,0,1,0,0] generating graphics... => 16
[1,1,0,1,1,0,0,1,1,0,0,0] generating graphics... => 14
[1,1,0,1,1,0,1,0,0,0,1,0] generating graphics... => 17
[1,1,0,1,1,0,1,0,0,1,0,0] generating graphics... => 17
[1,1,0,1,1,0,1,0,1,0,0,0] generating graphics... => 15
[1,1,0,1,1,0,1,1,0,0,0,0] generating graphics... => 12
[1,1,0,1,1,1,0,0,0,0,1,0] generating graphics... => 16
[1,1,0,1,1,1,0,0,0,1,0,0] generating graphics... => 17
[1,1,0,1,1,1,0,0,1,0,0,0] generating graphics... => 16
[1,1,0,1,1,1,0,1,0,0,0,0] generating graphics... => 13
[1,1,0,1,1,1,1,0,0,0,0,0] generating graphics... => 9
[1,1,1,0,0,0,1,0,1,0,1,0] generating graphics... => 12
[1,1,1,0,0,0,1,0,1,1,0,0] generating graphics... => 11
[1,1,1,0,0,0,1,1,0,0,1,0] generating graphics... => 15
[1,1,1,0,0,0,1,1,0,1,0,0] generating graphics... => 12
[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... => 14
[1,1,1,0,0,1,0,0,1,1,0,0] generating graphics... => 14
[1,1,1,0,0,1,0,1,0,0,1,0] generating graphics... => 17
[1,1,1,0,0,1,0,1,0,1,0,0] generating graphics... => 15
[1,1,1,0,0,1,0,1,1,0,0,0] generating graphics... => 14
[1,1,1,0,0,1,1,0,0,0,1,0] generating graphics... => 17
[1,1,1,0,0,1,1,0,0,1,0,0] generating graphics... => 16
[1,1,1,0,0,1,1,0,1,0,0,0] generating graphics... => 15
[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... => 14
[1,1,1,0,1,0,0,0,1,1,0,0] generating graphics... => 15
[1,1,1,0,1,0,0,1,0,0,1,0] generating graphics... => 17
[1,1,1,0,1,0,0,1,0,1,0,0] generating graphics... => 17
[1,1,1,0,1,0,0,1,1,0,0,0] generating graphics... => 15
[1,1,1,0,1,0,1,0,0,0,1,0] generating graphics... => 18
[1,1,1,0,1,0,1,0,0,1,0,0] generating graphics... => 18
[1,1,1,0,1,0,1,0,1,0,0,0] generating graphics... => 16
[1,1,1,0,1,0,1,1,0,0,0,0] generating graphics... => 13
[1,1,1,0,1,1,0,0,0,0,1,0] generating graphics... => 17
[1,1,1,0,1,1,0,0,0,1,0,0] generating graphics... => 18
[1,1,1,0,1,1,0,0,1,0,0,0] generating graphics... => 17
[1,1,1,0,1,1,0,1,0,0,0,0] generating graphics... => 14
[1,1,1,0,1,1,1,0,0,0,0,0] generating graphics... => 10
[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... => 14
[1,1,1,1,0,0,0,1,0,0,1,0] generating graphics... => 16
[1,1,1,1,0,0,0,1,0,1,0,0] generating graphics... => 17
[1,1,1,1,0,0,0,1,1,0,0,0] generating graphics... => 15
[1,1,1,1,0,0,1,0,0,0,1,0] generating graphics... => 18
[1,1,1,1,0,0,1,0,0,1,0,0] generating graphics... => 19
[1,1,1,1,0,0,1,0,1,0,0,0] generating graphics... => 17
[1,1,1,1,0,0,1,1,0,0,0,0] generating graphics... => 14
[1,1,1,1,0,1,0,0,0,0,1,0] generating graphics... => 18
[1,1,1,1,0,1,0,0,0,1,0,0] generating graphics... => 19
[1,1,1,1,0,1,0,0,1,0,0,0] generating graphics... => 18
[1,1,1,1,0,1,0,1,0,0,0,0] generating graphics... => 15
[1,1,1,1,0,1,1,0,0,0,0,0] generating graphics... => 11
[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... => 18
[1,1,1,1,1,0,0,0,1,0,0,0] generating graphics... => 18
[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... => 12
[1,1,1,1,1,1,0,0,0,0,0,0] generating graphics... => 7
click to show generating function       
Description
The vector space dimension of the double dual of D(A) in the corresponding Nakayama algebra.
Code
DeclareOperation("doubledualda",[IsList]);

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

local A,CoRegA,U;

A:=LIST[1];
CoRegA:=DirectSumOfQPAModules(IndecInjectiveModules(A));
U:=StarOfModule(StarOfModule(CoRegA));
return(Dimension(U));
end);

Created
Sep 15, 2018 at 15:32 by Rene Marczinzik
Updated
Sep 20, 2018 at 09:41 by Rene Marczinzik