Copyright	Anders Claesson 2013
Maintainer	Anders Claesson <anders.claesson@gmail.com>
Safe Haskell	None
Language	Haskell98

Sym.Perm.Constructions

Description

Sum, skew sum, etc

Synopsis

Documentation

(/+/) :: Perm -> Perm -> Perm infixl 6 Source #

The direct sum of two permutations.

(\-\) :: Perm -> Perm -> Perm infixl 6 Source #

The skew sum of two permutations.

directSum :: [Perm] -> Perm Source #

The direct sum of a list of permutations.

skewSum :: [Perm] -> Perm Source #

The skew sum of a list of permutations.

inflate :: Perm -> [Perm] -> Perm Source #

inflate w vs is the inflation of w by vs. It is the permutation of length sum (map size vs) obtained by replacing each entry w!i by an interval that is order isomorphic to vs!i in such a way that the intervals are order isomorphic to w. In particular,

u /+/ v == inflate (mkPerm "12") [u,v]
u \-\ v == inflate (mkPerm "21") [u,v]