***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * This information is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * ***************************************************************************** ----------------------------------------------------------------------------- Statistic identifier: St001140 ----------------------------------------------------------------------------- Collection: Dyck paths ----------------------------------------------------------------------------- Description: Number of indecomposable modules with projective and injective dimension at least two in the corresponding Nakayama algebra. ----------------------------------------------------------------------------- References: [1] Marczinzik, René Upper bounds for the dominant dimension of Nakayama and related algebras. [[zbMATH:06820683]] ----------------------------------------------------------------------------- Code: gap('LoadPackage("QPA");') def NthRadical(M, n): if n == 0: f = gap.IdentityMapping(M) else: f = gap.RadicalOfModuleInclusion(M) N = gap.Source(f) for i in range(n-1): h = gap.RadicalOfModuleInclusion(N); N = gap.Source(h) f = h * f return f def ARQuiverNak(A): injA = gap.IndecInjectiveModules(A) L = [gap.Source(NthRadical(inj, j)) for inj in injA for j in range(gap.Dimension(inj).sage())] return L def kupisch(D): H = D.heights() return [1+H[i] for i, s in enumerate(D) if s == 0]+[1] def statistic(D): K = kupisch(D) A = gap.NakayamaAlgebra(K, gap.GF(3)) L = ARQuiverNak(A) return sum(1 for x in L if gap.ProjDimensionOfModule(x, 30) >= 2 and gap.InjDimensionOfModule(x, 30) >= 2) ----------------------------------------------------------------------------- Statistic values: [1,0] => 0 [1,0,1,0] => 0 [1,1,0,0] => 0 [1,0,1,0,1,0] => 0 [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] => 1 [1,0,1,0,1,1,0,0] => 0 [1,0,1,1,0,0,1,0] => 1 [1,0,1,1,0,1,0,0] => 0 [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] => 0 [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] => 2 [1,0,1,0,1,0,1,1,0,0] => 1 [1,0,1,0,1,1,0,0,1,0] => 1 [1,0,1,0,1,1,0,1,0,0] => 1 [1,0,1,0,1,1,1,0,0,0] => 0 [1,0,1,1,0,0,1,0,1,0] => 1 [1,0,1,1,0,0,1,1,0,0] => 1 [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] => 0 [1,0,1,1,1,0,0,0,1,0] => 1 [1,0,1,1,1,0,0,1,0,0] => 2 [1,0,1,1,1,0,1,0,0,0] => 0 [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] => 1 [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] => 1 [1,1,0,1,0,0,1,1,0,0] => 0 [1,1,0,1,0,1,0,0,1,0] => 2 [1,1,0,1,0,1,0,1,0,0] => 1 [1,1,0,1,0,1,1,0,0,0] => 0 [1,1,0,1,1,0,0,0,1,0] => 2 [1,1,0,1,1,0,0,1,0,0] => 1 [1,1,0,1,1,0,1,0,0,0] => 0 [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] => 0 [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] => 3 [1,0,1,0,1,0,1,0,1,1,0,0] => 2 [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] => 2 [1,0,1,0,1,0,1,1,1,0,0,0] => 1 [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] => 1 [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] => 2 [1,0,1,0,1,1,1,0,1,0,0,0] => 1 [1,0,1,0,1,1,1,1,0,0,0,0] => 0 [1,0,1,1,0,0,1,0,1,0,1,0] => 2 [1,0,1,1,0,0,1,0,1,1,0,0] => 1 [1,0,1,1,0,0,1,1,0,0,1,0] => 2 [1,0,1,1,0,0,1,1,0,1,0,0] => 1 [1,0,1,1,0,0,1,1,1,0,0,0] => 1 [1,0,1,1,0,1,0,0,1,0,1,0] => 2 [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] => 4 [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] => 2 [1,0,1,1,0,1,1,0,0,1,0,0] => 2 [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] => 0 [1,0,1,1,1,0,0,0,1,0,1,0] => 1 [1,0,1,1,1,0,0,0,1,1,0,0] => 1 [1,0,1,1,1,0,0,1,0,0,1,0] => 2 [1,0,1,1,1,0,0,1,0,1,0,0] => 2 [1,0,1,1,1,0,0,1,1,0,0,0] => 2 [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] => 2 [1,0,1,1,1,0,1,0,1,0,0,0] => 3 [1,0,1,1,1,0,1,1,0,0,0,0] => 0 [1,0,1,1,1,1,0,0,0,0,1,0] => 1 [1,0,1,1,1,1,0,0,0,1,0,0] => 2 [1,0,1,1,1,1,0,0,1,0,0,0] => 3 [1,0,1,1,1,1,0,1,0,0,0,0] => 0 [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] => 1 [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] => 1 [1,1,0,0,1,1,0,0,1,1,0,0] => 1 [1,1,0,0,1,1,0,1,0,0,1,0] => 1 [1,1,0,0,1,1,0,1,0,1,0,0] => 2 [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] => 1 [1,1,0,0,1,1,1,0,0,1,0,0] => 2 [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] => 2 [1,1,0,1,0,0,1,0,1,1,0,0] => 1 [1,1,0,1,0,0,1,1,0,0,1,0] => 1 [1,1,0,1,0,0,1,1,0,1,0,0] => 1 [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] => 3 [1,1,0,1,0,1,0,0,1,1,0,0] => 2 [1,1,0,1,0,1,0,1,0,0,1,0] => 3 [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] => 1 [1,1,0,1,0,1,1,0,0,0,1,0] => 2 [1,1,0,1,0,1,1,0,0,1,0,0] => 3 [1,1,0,1,0,1,1,0,1,0,0,0] => 1 [1,1,0,1,0,1,1,1,0,0,0,0] => 0 [1,1,0,1,1,0,0,0,1,0,1,0] => 2 [1,1,0,1,1,0,0,0,1,1,0,0] => 2 [1,1,0,1,1,0,0,1,0,0,1,0] => 2 [1,1,0,1,1,0,0,1,0,1,0,0] => 3 [1,1,0,1,1,0,0,1,1,0,0,0] => 1 [1,1,0,1,1,0,1,0,0,0,1,0] => 2 [1,1,0,1,1,0,1,0,0,1,0,0] => 4 [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] => 0 [1,1,0,1,1,1,0,0,0,0,1,0] => 2 [1,1,0,1,1,1,0,0,0,1,0,0] => 4 [1,1,0,1,1,1,0,0,1,0,0,0] => 2 [1,1,0,1,1,1,0,1,0,0,0,0] => 0 [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] => 1 [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] => 1 [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] => 2 [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] => 2 [1,1,1,0,0,1,1,0,0,1,0,0] => 1 [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] => 1 [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] => 2 [1,1,1,0,1,0,0,1,0,1,0,0] => 1 [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] => 3 [1,1,1,0,1,0,1,0,0,1,0,0] => 2 [1,1,1,0,1,0,1,0,1,0,0,0] => 1 [1,1,1,0,1,0,1,1,0,0,0,0] => 0 [1,1,1,0,1,1,0,0,0,0,1,0] => 3 [1,1,1,0,1,1,0,0,0,1,0,0] => 2 [1,1,1,0,1,1,0,0,1,0,0,0] => 1 [1,1,1,0,1,1,0,1,0,0,0,0] => 0 [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] => 0 [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 ----------------------------------------------------------------------------- Created: Apr 09, 2018 at 14:30 by Rene Marczinzik ----------------------------------------------------------------------------- Last Updated: Aug 24, 2020 at 18:49 by Martin Rubey