Identifier
Identifier
Values
[2] generating graphics... => 10
[1,1] generating graphics... => 6
[3] generating graphics... => 20
[2,1] generating graphics... => 20
[1,1,1] generating graphics... => 4
[4] generating graphics... => 35
[3,1] generating graphics... => 45
[2,2] generating graphics... => 20
[2,1,1] generating graphics... => 15
[1,1,1,1] generating graphics... => 1
[5] generating graphics... => 56
[4,1] generating graphics... => 84
[3,2] generating graphics... => 60
[3,1,1] generating graphics... => 36
[2,2,1] generating graphics... => 20
[2,1,1,1] generating graphics... => 4
[1,1,1,1,1] generating graphics... => 0
[6] generating graphics... => 84
[5,1] generating graphics... => 140
[4,2] generating graphics... => 126
[4,1,1] generating graphics... => 70
[3,3] generating graphics... => 50
[3,2,1] generating graphics... => 64
[3,1,1,1] generating graphics... => 10
[2,2,2] generating graphics... => 10
[2,2,1,1] generating graphics... => 6
[2,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1] generating graphics... => 0
[7] generating graphics... => 120
[6,1] generating graphics... => 216
[5,2] generating graphics... => 224
[5,1,1] generating graphics... => 120
[4,3] generating graphics... => 140
[4,2,1] generating graphics... => 140
[4,1,1,1] generating graphics... => 20
[3,3,1] generating graphics... => 60
[3,2,2] generating graphics... => 36
[3,2,1,1] generating graphics... => 20
[3,1,1,1,1] generating graphics... => 0
[2,2,2,1] generating graphics... => 4
[2,2,1,1,1] generating graphics... => 0
[2,1,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1,1] generating graphics... => 0
[8] generating graphics... => 165
[7,1] generating graphics... => 315
[6,2] generating graphics... => 360
[6,1,1] generating graphics... => 189
[5,3] generating graphics... => 280
[5,2,1] generating graphics... => 256
[5,1,1,1] generating graphics... => 35
[4,4] generating graphics... => 105
[4,3,1] generating graphics... => 175
[4,2,2] generating graphics... => 84
[4,2,1,1] generating graphics... => 45
[4,1,1,1,1] generating graphics... => 0
[3,3,2] generating graphics... => 45
[3,3,1,1] generating graphics... => 20
[3,2,2,1] generating graphics... => 15
[3,2,1,1,1] generating graphics... => 0
[3,1,1,1,1,1] generating graphics... => 0
[2,2,2,2] generating graphics... => 1
[2,2,2,1,1] generating graphics... => 0
[2,2,1,1,1,1] generating graphics... => 0
[2,1,1,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1,1,1] generating graphics... => 0
[9] generating graphics... => 220
[8,1] generating graphics... => 440
[7,2] generating graphics... => 540
[7,1,1] generating graphics... => 280
[6,3] generating graphics... => 480
[6,2,1] generating graphics... => 420
[6,1,1,1] generating graphics... => 56
[5,4] generating graphics... => 280
[5,3,1] generating graphics... => 360
[5,2,2] generating graphics... => 160
[5,2,1,1] generating graphics... => 84
[5,1,1,1,1] generating graphics... => 0
[4,4,1] generating graphics... => 140
[4,3,2] generating graphics... => 140
[4,3,1,1] generating graphics... => 60
[4,2,2,1] generating graphics... => 36
[4,2,1,1,1] generating graphics... => 0
[4,1,1,1,1,1] generating graphics... => 0
[3,3,3] generating graphics... => 20
[3,3,2,1] generating graphics... => 20
[3,3,1,1,1] generating graphics... => 0
[3,2,2,2] generating graphics... => 4
[3,2,2,1,1] generating graphics... => 0
[3,2,1,1,1,1] generating graphics... => 0
[3,1,1,1,1,1,1] generating graphics... => 0
[2,2,2,2,1] generating graphics... => 0
[2,2,2,1,1,1] generating graphics... => 0
[2,2,1,1,1,1,1] generating graphics... => 0
[2,1,1,1,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1,1,1,1] generating graphics... => 0
[10] generating graphics... => 286
[9,1] generating graphics... => 594
[8,2] generating graphics... => 770
[8,1,1] generating graphics... => 396
[7,3] generating graphics... => 750
[7,2,1] generating graphics... => 640
[7,1,1,1] generating graphics... => 84
[6,4] generating graphics... => 540
[6,3,1] generating graphics... => 630
[6,2,2] generating graphics... => 270
[6,2,1,1] generating graphics... => 140
[6,1,1,1,1] generating graphics... => 0
[5,5] generating graphics... => 196
[5,4,1] generating graphics... => 384
[5,3,2] generating graphics... => 300
[5,3,1,1] generating graphics... => 126
[5,2,2,1] generating graphics... => 70
[5,2,1,1,1] generating graphics... => 0
[5,1,1,1,1,1] generating graphics... => 0
[4,4,2] generating graphics... => 126
[4,4,1,1] generating graphics... => 50
[4,3,3] generating graphics... => 70
[4,3,2,1] generating graphics... => 64
[4,3,1,1,1] generating graphics... => 0
[4,2,2,2] generating graphics... => 10
[4,2,2,1,1] generating graphics... => 0
[4,2,1,1,1,1] generating graphics... => 0
[4,1,1,1,1,1,1] generating graphics... => 0
[3,3,3,1] generating graphics... => 10
[3,3,2,2] generating graphics... => 6
[3,3,2,1,1] generating graphics... => 0
[3,3,1,1,1,1] generating graphics... => 0
[3,2,2,2,1] generating graphics... => 0
[3,2,2,1,1,1] generating graphics... => 0
[3,2,1,1,1,1,1] generating graphics... => 0
[3,1,1,1,1,1,1,1] generating graphics... => 0
[2,2,2,2,2] generating graphics... => 0
[2,2,2,2,1,1] generating graphics... => 0
[2,2,2,1,1,1,1] generating graphics... => 0
[2,2,1,1,1,1,1,1] generating graphics... => 0
[2,1,1,1,1,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1,1,1,1,1] generating graphics... => 0
[11] generating graphics... => 364
[10,1] generating graphics... => 780
[9,2] generating graphics... => 1056
[9,1,1] generating graphics... => 540
[8,3] generating graphics... => 1100
[8,2,1] generating graphics... => 924
[8,1,1,1] generating graphics... => 120
[7,4] generating graphics... => 900
[7,3,1] generating graphics... => 1000
[7,2,2] generating graphics... => 420
[7,2,1,1] generating graphics... => 216
[7,1,1,1,1] generating graphics... => 0
[6,5] generating graphics... => 504
[6,4,1] generating graphics... => 756
[6,3,2] generating graphics... => 540
[6,3,1,1] generating graphics... => 224
[6,2,2,1] generating graphics... => 120
[6,2,1,1,1] generating graphics... => 0
[6,1,1,1,1,1] generating graphics... => 0
[5,5,1] generating graphics... => 280
[5,4,2] generating graphics... => 360
[5,4,1,1] generating graphics... => 140
[5,3,3] generating graphics... => 160
[5,3,2,1] generating graphics... => 140
[5,3,1,1,1] generating graphics... => 0
[5,2,2,2] generating graphics... => 20
[5,2,2,1,1] generating graphics... => 0
[5,2,1,1,1,1] generating graphics... => 0
[5,1,1,1,1,1,1] generating graphics... => 0
[4,4,3] generating graphics... => 84
[4,4,2,1] generating graphics... => 60
[4,4,1,1,1] generating graphics... => 0
[4,3,3,1] generating graphics... => 36
[4,3,2,2] generating graphics... => 20
[4,3,2,1,1] generating graphics... => 0
[4,3,1,1,1,1] generating graphics... => 0
[4,2,2,2,1] generating graphics... => 0
[4,2,2,1,1,1] generating graphics... => 0
[4,2,1,1,1,1,1] generating graphics... => 0
[4,1,1,1,1,1,1,1] generating graphics... => 0
[3,3,3,2] generating graphics... => 4
[3,3,3,1,1] generating graphics... => 0
[3,3,2,2,1] generating graphics... => 0
[3,3,2,1,1,1] generating graphics... => 0
[3,3,1,1,1,1,1] generating graphics... => 0
[3,2,2,2,2] generating graphics... => 0
[3,2,2,2,1,1] generating graphics... => 0
[3,2,2,1,1,1,1] generating graphics... => 0
[3,2,1,1,1,1,1,1] generating graphics... => 0
[3,1,1,1,1,1,1,1,1] generating graphics... => 0
[2,2,2,2,2,1] generating graphics... => 0
[2,2,2,2,1,1,1] generating graphics... => 0
[2,2,2,1,1,1,1,1] generating graphics... => 0
[2,2,1,1,1,1,1,1,1] generating graphics... => 0
[2,1,1,1,1,1,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1,1,1,1,1,1] generating graphics... => 0
[12] generating graphics... => 455
[11,1] generating graphics... => 1001
[10,2] generating graphics... => 1404
[10,1,1] generating graphics... => 715
[9,3] generating graphics... => 1540
[9,2,1] generating graphics... => 1280
[9,1,1,1] generating graphics... => 165
[8,4] generating graphics... => 1375
[8,3,1] generating graphics... => 1485
[8,2,2] generating graphics... => 616
[8,2,1,1] generating graphics... => 315
[8,1,1,1,1] generating graphics... => 0
[7,5] generating graphics... => 945
[7,4,1] generating graphics... => 1280
[7,3,2] generating graphics... => 875
[7,3,1,1] generating graphics... => 360
[7,2,2,1] generating graphics... => 189
[7,2,1,1,1] generating graphics... => 0
[7,1,1,1,1,1] generating graphics... => 0
[6,6] generating graphics... => 336
[6,5,1] generating graphics... => 735
[6,4,2] generating graphics... => 729
[6,4,1,1] generating graphics... => 280
[6,3,3] generating graphics... => 300
[6,3,2,1] generating graphics... => 256
[6,3,1,1,1] generating graphics... => 0
[6,2,2,2] generating graphics... => 35
[6,2,2,1,1] generating graphics... => 0
[6,2,1,1,1,1] generating graphics... => 0
[6,1,1,1,1,1,1] generating graphics... => 0
[5,5,2] generating graphics... => 280
[5,5,1,1] generating graphics... => 105
[5,4,3] generating graphics... => 256
[5,4,2,1] generating graphics... => 175
[5,4,1,1,1] generating graphics... => 0
[5,3,3,1] generating graphics... => 84
[5,3,2,2] generating graphics... => 45
[5,3,2,1,1] generating graphics... => 0
[5,3,1,1,1,1] generating graphics... => 0
[5,2,2,2,1] generating graphics... => 0
[5,2,2,1,1,1] generating graphics... => 0
[5,2,1,1,1,1,1] generating graphics... => 0
[5,1,1,1,1,1,1,1] generating graphics... => 0
[4,4,4] generating graphics... => 35
[4,4,3,1] generating graphics... => 45
[4,4,2,2] generating graphics... => 20
[4,4,2,1,1] generating graphics... => 0
[4,4,1,1,1,1] generating graphics... => 0
[4,3,3,2] generating graphics... => 15
[4,3,3,1,1] generating graphics... => 0
[4,3,2,2,1] generating graphics... => 0
[4,3,2,1,1,1] generating graphics... => 0
[4,3,1,1,1,1,1] generating graphics... => 0
[4,2,2,2,2] generating graphics... => 0
[4,2,2,2,1,1] generating graphics... => 0
[4,2,2,1,1,1,1] generating graphics... => 0
[4,2,1,1,1,1,1,1] generating graphics... => 0
[4,1,1,1,1,1,1,1,1] generating graphics... => 0
[3,3,3,3] generating graphics... => 1
[3,3,3,2,1] generating graphics... => 0
[3,3,3,1,1,1] generating graphics... => 0
[3,3,2,2,2] generating graphics... => 0
[3,3,2,2,1,1] generating graphics... => 0
[3,3,2,1,1,1,1] generating graphics... => 0
[3,3,1,1,1,1,1,1] generating graphics... => 0
[3,2,2,2,2,1] generating graphics... => 0
[3,2,2,2,1,1,1] generating graphics... => 0
[3,2,2,1,1,1,1,1] generating graphics... => 0
[3,2,1,1,1,1,1,1,1] generating graphics... => 0
[3,1,1,1,1,1,1,1,1,1] generating graphics... => 0
[2,2,2,2,2,2] generating graphics... => 0
[2,2,2,2,2,1,1] generating graphics... => 0
[2,2,2,2,1,1,1,1] generating graphics... => 0
[2,2,2,1,1,1,1,1,1] generating graphics... => 0
[2,2,1,1,1,1,1,1,1,1] generating graphics... => 0
[2,1,1,1,1,1,1,1,1,1,1] generating graphics... => 0
[1,1,1,1,1,1,1,1,1,1,1,1] generating graphics... => 0
click to show generating function       
Description
The number of semistandard Young tableau of given shape, with entries at most 4.
This is also the dimension of the corresponding irreducible representation of $GL_4$.
Code
def statistic(mu):
    return SemistandardTableaux(shape=mu, max_entry=4).cardinality()
Created
Mar 21, 2017 at 07:35 by Martin Rubey
Updated
Mar 21, 2017 at 07:35 by Martin Rubey