skewTableau -- constructor for type SkewTableau

Usage:

skewTableau(lam, mu, entryList)

skewTableau((lam,mu),entryList)
Inputs:
- lam, an instance of the type Partition, the outer shape $\lambda$.
- mu, an instance of the type Partition, the inner shape $\mu$. If not given, then it is assumed to be the $0$ partition.
- entryList, a list, the filling of the boxes. If not given, then box entries are assumed to be the empty string "".
Outputs:
- T, an instance of the type SkewTableau, a skew Young tableau of shape $\lambda/\mu$ with the given filling.
Consequences:
- The list of entries has length equal to $\sum_{i=1}^{\ell(\lambda)}|\lambda_i-\mu_i|$. E.g., if $\lambda=(2)$ and $\mu=(5)$, then the entry list must have length $3$.
- None of the entries are null.

Description

i1 : lam = new Partition from {4,3,2}

o1 = Partition{4, 3, 2}

o1 : Partition

i2 : mu = new Partition from {3,1}

o2 = Partition{3, 1}

o2 : Partition

i3 : entryList = {1,2,3,3,9}

o3 = {1, 2, 3, 3, 9}

o3 : List

i4 : T = skewTableau(lam,mu,entryList)

                 ┌───┐
o4 =             │ 1 │
         ┌───┬───┼───┘
         │ 2 │ 3 │    
     ┌───┼───┼───┘    
     │ 3 │ 9 │        
     └───┴───┘        

o4 : SkewTableau

We may construct tableaux with any compositions.

i5 : skewTableau(new Partition from {3,5,1}, new Partition from {0,1}, {7,"&",4,2,"g","u",6,0})

     ┌───┬───┬───┐        
o5 = │ 7 │ & │ 4 │        
     └───┼───┼───┼───┬───┐
         │ 2 │ g │ u │ 6 │
     ┌───┼───┴───┴───┴───┘
     │ 0 │                
     └───┘                

o5 : SkewTableau

The shapes may have negative parts. In this case, a vertical line is drawn by net to indicate that negative parts are to the left.

i6 : skewTableau(new Partition from {3,-3,-1}, new Partition from {-2,-4,-1})

             ┌───┬───║───┬───┬───┐
o6 =         │   │   ║   │   │   │
     ┌───┐   └───┴───║───┴───┴───┘
     │   │           ║            
     └───┘           ║            
                     ║            
                     ║            

o6 : SkewTableau

If any $\lambda_i<\mu_i$, then the boxes in that row are drawn shaded.

i7 : skewTableau(new Partition from {-2,-4,2}, new Partition from {1,-1,-1}, {1,2,3,4,5,6,7,8,9})

             ┌───┬───║───┐    
o7 =         │░1░│░2░║░3░│    
     ┌───┬───┼───┼───║───┘    
     │░4░│░5░│░6░│   ║        
     └───┴───┴───┼───║───┬───┐
                 │ 7 ║ 8 │ 9 │
                 └───║───┴───┘

o7 : SkewTableau

We may cast an object of type YoungTableau to type SkewTableau.

i8 : T' = youngTableau(new Partition from {3,1,1})

     ┌───┬───┬───┐
o8 = │   │   │   │
     ├───┼───┴───┘
     │   │        
     ├───┤        
     │   │        
     └───┘        

o8 : YoungTableau

i9 : skewTableau T'

     ┌───┬───┬───┐
o9 = │   │   │   │
     ├───┼───┴───┘
     │   │        
     ├───┤        
     │   │        
     └───┘        

o9 : SkewTableau

The inner shape may be drawn by calling drawInnerShape.

i10 : T'' = skewTableau(new Partition from {5,4,-1}, new Partition from {2,4,-3})

                  ║       ┌───┬───┬───┐
o10 =             ║       │   │   │   │
                  ║       └───┴───┴───┘
                  ║                    
      ┌───┬───┐   ║                    
      │   │   │   ║                    
      └───┴───┘   ║                    

o10 : SkewTableau

i11 : drawInnerShape true

i12 : T''

                  ║       ┌───┬───┬───┐
o12 =             ║ ■   ■ │   │   │   │
                  ║       └───┴───┴───┘
                  ║ ■   ■   ■   ■      
      ┌───┬───┐   ║                    
      │   │   │ ■ ║                    
      └───┴───┘   ║                    

o12 : SkewTableau

i13 : drawInnerShape false

i14 : T''

                  ║       ┌───┬───┬───┐
o14 =             ║       │   │   │   │
                  ║       └───┴───┴───┘
                  ║                    
      ┌───┬───┐   ║                    
      │   │   │   ║                    
      └───┴───┘   ║                    

o14 : SkewTableau

Ways to use skewTableau:

skewTableau(Partition)
skewTableau(Partition,List)
skewTableau(Partition,Partition)
skewTableau(Partition,Partition,List)
skewTableau(Sequence,List)
skewTableau(YoungTableau)

For the programmer

The object skewTableau is a method function.

The source of this document is in Tableaux/documentation.m2:124:0.

skewTableau -- constructor for type SkewTableau

Description

See also

Ways to use skewTableau:

For the programmer