| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Math.Combinat.Partitions.Skew
Description
Skew partitions.
Skew partitions are the difference of two integer partitions, denoted by lambda/mu.
- newtype SkewPartition = SkewPartition [(Int, Int)]
- mkSkewPartition :: (Partition, Partition) -> SkewPartition
- safeSkewPartition :: (Partition, Partition) -> Maybe SkewPartition
- skewPartitionWeight :: SkewPartition -> Int
- normalizeSkewPartition :: SkewPartition -> SkewPartition
- fromSkewPartition :: SkewPartition -> (Partition, Partition)
- outerPartition :: SkewPartition -> Partition
- innerPartition :: SkewPartition -> Partition
- dualSkewPartition :: SkewPartition -> SkewPartition
- asciiSkewFerrersDiagram :: SkewPartition -> ASCII
- asciiSkewFerrersDiagram' :: (Char, Char) -> PartitionConvention -> SkewPartition -> ASCII
Documentation
newtype SkewPartition Source
A skew partition lambda/mu is represented by the list [ (mu_i , lambda_i-mu_i) | i<-[1..n] ]
Constructors
| SkewPartition [(Int, Int)] |
mkSkewPartition :: (Partition, Partition) -> SkewPartition Source
mkSkewPartition (lambda,mu) creates the skew partition lambda/mu.
Throws an error if mu is not a sub-partition of lambda.
safeSkewPartition :: (Partition, Partition) -> Maybe SkewPartition Source
Returns Nothing if mu is not a sub-partition of lambda.
normalizeSkewPartition :: SkewPartition -> SkewPartition Source
This function "cuts off" the "uninteresting parts" of a skew partition
fromSkewPartition :: SkewPartition -> (Partition, Partition) Source
Returns the outer and inner partition of a skew partition, respectively
asciiSkewFerrersDiagram' :: (Char, Char) -> PartitionConvention -> SkewPartition -> ASCII Source