*****************************************************************************
*       www.FindStat.org - The Combinatorial Statistic Finder               *
*                                                                           *
*       Copyright (C) 2019 The FindStatCrew <info@findstat.org>             *
*                                                                           *
*    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: St001542

-----------------------------------------------------------------------------
Collection: Decorated permutations

-----------------------------------------------------------------------------
Description: The dimension of the subspace of the complex vector space for the associated Grassmannian.

Given an affine permutation, this is $$\frac{1}{n} \sum^n_{i=1} (f(i)-i)$$
This value is seen as $k$ in the notation Gr($k,n$), ($k,n$)-bounded affine permutations, ($k,n$)-Grassmann necklaces, and ($k,n$)-Le diagrams.

-----------------------------------------------------------------------------
References: [1]   Lam, T. Totally nonnegative Grassmannian and Grassmann polytopes [[MathSciNet:3468251]] [[arXiv:1506.00603]]

-----------------------------------------------------------------------------
Code:


-----------------------------------------------------------------------------
Statistic values:

[+,+]       => 0
[-,+]       => 1
[+,-]       => 1
[-,-]       => 2
[2,1]       => 1
[+,+,+]     => 0
[-,+,+]     => 1
[+,-,+]     => 1
[+,+,-]     => 1
[-,-,+]     => 2
[-,+,-]     => 2
[+,-,-]     => 2
[-,-,-]     => 3
[+,3,2]     => 1
[-,3,2]     => 2
[2,1,+]     => 1
[2,1,-]     => 2
[2,3,1]     => 2
[3,1,2]     => 1
[3,+,1]     => 1
[3,-,1]     => 2
[+,+,+,+]   => 0
[-,+,+,+]   => 1
[+,-,+,+]   => 1
[+,+,-,+]   => 1
[+,+,+,-]   => 1
[-,-,+,+]   => 2
[-,+,-,+]   => 2
[-,+,+,-]   => 2
[+,-,-,+]   => 2
[+,-,+,-]   => 2
[+,+,-,-]   => 2
[-,-,-,+]   => 3
[-,-,+,-]   => 3
[-,+,-,-]   => 3
[+,-,-,-]   => 3
[-,-,-,-]   => 4
[+,+,4,3]   => 1
[-,+,4,3]   => 2
[+,-,4,3]   => 2
[-,-,4,3]   => 3
[+,3,2,+]   => 1
[-,3,2,+]   => 2
[+,3,2,-]   => 2
[-,3,2,-]   => 3
[+,3,4,2]   => 2
[-,3,4,2]   => 3
[+,4,2,3]   => 1
[-,4,2,3]   => 2
[+,4,+,2]   => 1
[-,4,+,2]   => 2
[+,4,-,2]   => 2
[-,4,-,2]   => 3
[2,1,+,+]   => 1
[2,1,-,+]   => 2
[2,1,+,-]   => 2
[2,1,-,-]   => 3
[2,1,4,3]   => 2
[2,3,1,+]   => 2
[2,3,1,-]   => 3
[2,3,4,1]   => 3
[2,4,1,3]   => 2
[2,4,+,1]   => 2
[2,4,-,1]   => 3
[3,1,2,+]   => 1
[3,1,2,-]   => 2
[3,1,4,2]   => 2
[3,+,1,+]   => 1
[3,-,1,+]   => 2
[3,+,1,-]   => 2
[3,-,1,-]   => 3
[3,+,4,1]   => 2
[3,-,4,1]   => 3
[3,4,1,2]   => 2
[3,4,2,1]   => 2
[4,1,2,3]   => 1
[4,1,+,2]   => 1
[4,1,-,2]   => 2
[4,+,1,3]   => 1
[4,-,1,3]   => 2
[4,+,+,1]   => 1
[4,-,+,1]   => 2
[4,+,-,1]   => 2
[4,-,-,1]   => 3
[4,3,1,2]   => 2
[4,3,2,1]   => 2
[+,+,+,+,+] => 0
[-,+,+,+,+] => 1
[+,-,+,+,+] => 1
[+,+,-,+,+] => 1
[+,+,+,-,+] => 1
[+,+,+,+,-] => 1
[-,-,+,+,+] => 2
[-,+,-,+,+] => 2
[-,+,+,-,+] => 2
[-,+,+,+,-] => 2
[+,-,-,+,+] => 2
[+,-,+,-,+] => 2
[+,-,+,+,-] => 2
[+,+,-,-,+] => 2
[+,+,-,+,-] => 2
[+,+,+,-,-] => 2
[-,-,-,+,+] => 3
[-,-,+,-,+] => 3
[-,-,+,+,-] => 3
[-,+,-,-,+] => 3
[-,+,-,+,-] => 3
[-,+,+,-,-] => 3
[+,-,-,-,+] => 3
[+,-,-,+,-] => 3
[+,-,+,-,-] => 3
[+,+,-,-,-] => 3
[-,-,-,-,+] => 4
[-,-,-,+,-] => 4
[-,-,+,-,-] => 4
[-,+,-,-,-] => 4
[+,-,-,-,-] => 4
[-,-,-,-,-] => 5
[+,+,+,5,4] => 1
[-,+,+,5,4] => 2
[+,-,+,5,4] => 2
[+,+,-,5,4] => 2
[-,-,+,5,4] => 3
[-,+,-,5,4] => 3
[+,-,-,5,4] => 3
[-,-,-,5,4] => 4
[+,+,4,3,+] => 1
[-,+,4,3,+] => 2
[+,-,4,3,+] => 2
[+,+,4,3,-] => 2
[-,-,4,3,+] => 3
[-,+,4,3,-] => 3
[+,-,4,3,-] => 3
[-,-,4,3,-] => 4
[+,+,4,5,3] => 2
[-,+,4,5,3] => 3
[+,-,4,5,3] => 3
[-,-,4,5,3] => 4
[+,+,5,3,4] => 1
[-,+,5,3,4] => 2
[+,-,5,3,4] => 2
[-,-,5,3,4] => 3
[+,+,5,+,3] => 1
[-,+,5,+,3] => 2
[+,-,5,+,3] => 2
[+,+,5,-,3] => 2
[-,-,5,+,3] => 3
[-,+,5,-,3] => 3
[+,-,5,-,3] => 3
[-,-,5,-,3] => 4
[+,3,2,+,+] => 1
[-,3,2,+,+] => 2
[+,3,2,-,+] => 2
[+,3,2,+,-] => 2
[-,3,2,-,+] => 3
[-,3,2,+,-] => 3
[+,3,2,-,-] => 3
[-,3,2,-,-] => 4
[+,3,2,5,4] => 2
[-,3,2,5,4] => 3
[+,3,4,2,+] => 2
[-,3,4,2,+] => 3
[+,3,4,2,-] => 3
[-,3,4,2,-] => 4
[+,3,4,5,2] => 3
[-,3,4,5,2] => 4
[+,3,5,2,4] => 2
[-,3,5,2,4] => 3
[+,3,5,+,2] => 2
[-,3,5,+,2] => 3
[+,3,5,-,2] => 3
[-,3,5,-,2] => 4
[+,4,2,3,+] => 1
[-,4,2,3,+] => 2
[+,4,2,3,-] => 2
[-,4,2,3,-] => 3
[+,4,2,5,3] => 2
[-,4,2,5,3] => 3
[+,4,+,2,+] => 1
[-,4,+,2,+] => 2
[+,4,-,2,+] => 2
[+,4,+,2,-] => 2
[-,4,-,2,+] => 3
[-,4,+,2,-] => 3
[+,4,-,2,-] => 3
[-,4,-,2,-] => 4
[+,4,+,5,2] => 2
[-,4,+,5,2] => 3
[+,4,-,5,2] => 3
[-,4,-,5,2] => 4
[+,4,5,2,3] => 2
[-,4,5,2,3] => 3
[+,4,5,3,2] => 2
[-,4,5,3,2] => 3
[+,5,2,3,4] => 1
[-,5,2,3,4] => 2
[+,5,2,+,3] => 1
[-,5,2,+,3] => 2
[+,5,2,-,3] => 2
[-,5,2,-,3] => 3
[+,5,+,2,4] => 1
[-,5,+,2,4] => 2
[+,5,-,2,4] => 2
[-,5,-,2,4] => 3
[+,5,+,+,2] => 1
[-,5,+,+,2] => 2
[+,5,-,+,2] => 2
[+,5,+,-,2] => 2
[-,5,-,+,2] => 3
[-,5,+,-,2] => 3
[+,5,-,-,2] => 3
[-,5,-,-,2] => 4
[+,5,4,2,3] => 2
[-,5,4,2,3] => 3
[+,5,4,3,2] => 2
[-,5,4,3,2] => 3
[2,1,+,+,+] => 1
[2,1,-,+,+] => 2
[2,1,+,-,+] => 2
[2,1,+,+,-] => 2
[2,1,-,-,+] => 3
[2,1,-,+,-] => 3
[2,1,+,-,-] => 3
[2,1,-,-,-] => 4
[2,1,+,5,4] => 2
[2,1,-,5,4] => 3
[2,1,4,3,+] => 2
[2,1,4,3,-] => 3
[2,1,4,5,3] => 3
[2,1,5,3,4] => 2
[2,1,5,+,3] => 2
[2,1,5,-,3] => 3
[2,3,1,+,+] => 2
[2,3,1,-,+] => 3
[2,3,1,+,-] => 3
[2,3,1,-,-] => 4
[2,3,1,5,4] => 3
[2,3,4,1,+] => 3
[2,3,4,1,-] => 4
[2,3,4,5,1] => 4
[2,3,5,1,4] => 3
[2,3,5,+,1] => 3
[2,3,5,-,1] => 4
[2,4,1,3,+] => 2
[2,4,1,3,-] => 3
[2,4,1,5,3] => 3
[2,4,+,1,+] => 2
[2,4,-,1,+] => 3
[2,4,+,1,-] => 3
[2,4,-,1,-] => 4
[2,4,+,5,1] => 3
[2,4,-,5,1] => 4
[2,4,5,1,3] => 3
[2,4,5,3,1] => 3
[2,5,1,3,4] => 2
[2,5,1,+,3] => 2
[2,5,1,-,3] => 3
[2,5,+,1,4] => 2
[2,5,-,1,4] => 3
[2,5,+,+,1] => 2
[2,5,-,+,1] => 3
[2,5,+,-,1] => 3
[2,5,-,-,1] => 4
[2,5,4,1,3] => 3
[2,5,4,3,1] => 3
[3,1,2,+,+] => 1
[3,1,2,-,+] => 2
[3,1,2,+,-] => 2
[3,1,2,-,-] => 3
[3,1,2,5,4] => 2
[3,1,4,2,+] => 2
[3,1,4,2,-] => 3
[3,1,4,5,2] => 3
[3,1,5,2,4] => 2
[3,1,5,+,2] => 2
[3,1,5,-,2] => 3
[3,+,1,+,+] => 1
[3,-,1,+,+] => 2
[3,+,1,-,+] => 2
[3,+,1,+,-] => 2
[3,-,1,-,+] => 3
[3,-,1,+,-] => 3
[3,+,1,-,-] => 3
[3,-,1,-,-] => 4
[3,+,1,5,4] => 2
[3,-,1,5,4] => 3
[3,+,4,1,+] => 2
[3,-,4,1,+] => 3
[3,+,4,1,-] => 3
[3,-,4,1,-] => 4
[3,+,4,5,1] => 3
[3,-,4,5,1] => 4
[3,+,5,1,4] => 2
[3,-,5,1,4] => 3
[3,+,5,+,1] => 2
[3,-,5,+,1] => 3
[3,+,5,-,1] => 3
[3,-,5,-,1] => 4
[3,4,1,2,+] => 2
[3,4,1,2,-] => 3
[3,4,1,5,2] => 3
[3,4,2,1,+] => 2
[3,4,2,1,-] => 3
[3,4,2,5,1] => 3
[3,4,5,1,2] => 3
[3,4,5,2,1] => 3
[3,5,1,2,4] => 2
[3,5,1,+,2] => 2
[3,5,1,-,2] => 3
[3,5,2,1,4] => 2
[3,5,2,+,1] => 2
[3,5,2,-,1] => 3
[3,5,4,1,2] => 3
[3,5,4,2,1] => 3
[4,1,2,3,+] => 1
[4,1,2,3,-] => 2
[4,1,2,5,3] => 2
[4,1,+,2,+] => 1
[4,1,-,2,+] => 2
[4,1,+,2,-] => 2
[4,1,-,2,-] => 3
[4,1,+,5,2] => 2
[4,1,-,5,2] => 3
[4,1,5,2,3] => 2
[4,1,5,3,2] => 2
[4,+,1,3,+] => 1
[4,-,1,3,+] => 2
[4,+,1,3,-] => 2
[4,-,1,3,-] => 3
[4,+,1,5,3] => 2
[4,-,1,5,3] => 3
[4,+,+,1,+] => 1
[4,-,+,1,+] => 2
[4,+,-,1,+] => 2
[4,+,+,1,-] => 2
[4,-,-,1,+] => 3
[4,-,+,1,-] => 3
[4,+,-,1,-] => 3
[4,-,-,1,-] => 4
[4,+,+,5,1] => 2
[4,-,+,5,1] => 3
[4,+,-,5,1] => 3
[4,-,-,5,1] => 4
[4,+,5,1,3] => 2
[4,-,5,1,3] => 3
[4,+,5,3,1] => 2
[4,-,5,3,1] => 3
[4,3,1,2,+] => 2
[4,3,1,2,-] => 3
[4,3,1,5,2] => 3
[4,3,2,1,+] => 2
[4,3,2,1,-] => 3
[4,3,2,5,1] => 3
[4,3,5,1,2] => 3
[4,3,5,2,1] => 3
[4,5,1,2,3] => 2
[4,5,1,3,2] => 2
[4,5,2,1,3] => 2
[4,5,2,3,1] => 2
[4,5,+,1,2] => 2
[4,5,-,1,2] => 3
[4,5,+,2,1] => 2
[4,5,-,2,1] => 3
[5,1,2,3,4] => 1
[5,1,2,+,3] => 1
[5,1,2,-,3] => 2
[5,1,+,2,4] => 1
[5,1,-,2,4] => 2
[5,1,+,+,2] => 1
[5,1,-,+,2] => 2
[5,1,+,-,2] => 2
[5,1,-,-,2] => 3
[5,1,4,2,3] => 2
[5,1,4,3,2] => 2
[5,+,1,3,4] => 1
[5,-,1,3,4] => 2
[5,+,1,+,3] => 1
[5,-,1,+,3] => 2
[5,+,1,-,3] => 2
[5,-,1,-,3] => 3
[5,+,+,1,4] => 1
[5,-,+,1,4] => 2
[5,+,-,1,4] => 2
[5,-,-,1,4] => 3
[5,+,+,+,1] => 1
[5,-,+,+,1] => 2
[5,+,-,+,1] => 2
[5,+,+,-,1] => 2
[5,-,-,+,1] => 3
[5,-,+,-,1] => 3
[5,+,-,-,1] => 3
[5,-,-,-,1] => 4
[5,+,4,1,3] => 2
[5,-,4,1,3] => 3
[5,+,4,3,1] => 2
[5,-,4,3,1] => 3
[5,3,1,2,4] => 2
[5,3,1,+,2] => 2
[5,3,1,-,2] => 3
[5,3,2,1,4] => 2
[5,3,2,+,1] => 2
[5,3,2,-,1] => 3
[5,3,4,1,2] => 3
[5,3,4,2,1] => 3
[5,4,1,2,3] => 2
[5,4,1,3,2] => 2
[5,4,2,1,3] => 2
[5,4,2,3,1] => 2
[5,4,+,1,2] => 2
[5,4,-,1,2] => 3
[5,4,+,2,1] => 2
[5,4,-,2,1] => 3

-----------------------------------------------------------------------------
Created: May 12, 2020 at 22:30 by Danny Luecke

-----------------------------------------------------------------------------
Last Updated: May 15, 2020 at 08:26 by Danny Luecke