allSubPartitions -- list all partitions whose Young diagrams are contained in another

• Usage:

  allSubPartitions(lam,mu)

• 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 provided, then it is the $0$ partition.
• Outputs:
  • b, a bag, bagged list of all partitions $\nu$ such that $\mu\subseteq\nu\subseteq\lambda$.

i1 : theBag = allSubPartitions(new Partition from {2,2,1},new Partition from {1})

o1 = -*a bagged sequence of length 8*-

o1 : Bag

i2 : for nu in theBag do print youngDiagram nu
┌───┐
│   │
└───┘
┌───┬───┐
│   │   │
└───┴───┘
┌───┐
│   │
├───┤
│   │
└───┘
┌───┬───┐
│   │   │
├───┼───┘
│   │    
└───┘    
┌───┬───┐
│   │   │
├───┼───┤
│   │   │
└───┴───┘
┌───┐
│   │
├───┤
│   │
├───┤
│   │
└───┘
┌───┬───┐
│   │   │
├───┼───┘
│   │    
├───┤    
│   │    
└───┘    
┌───┬───┐
│   │   │
├───┼───┤
│   │   │
├───┼───┘
│   │    
└───┘