innerShape -- the inner shape of a (skew) Young tableau

• Usage:

  mu = innerShape T

• Inputs:
  • T, an instance of the type YoungTableau, a Young tableau of shape $\lambda/\mu$.
• Outputs:
  • mu, an instance of the type Partition, the inner shape, $\mu$, of T.

i1 : T = youngTableau(new Partition from {4,3,1,0}, new Partition from {3,1})

                 ┌───┐
o1 =             │   │
         ┌───┬───┼───┘
         │   │   │    
     ┌───┼───┴───┘    
     │   │            
     └───┘            

o1 : YoungTableau

i2 : innerShape T

o2 = Partition{3, 1}

o2 : Partition