Safe Haskell | None |
---|---|
Language | Haskell2010 |
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] ]
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