Maintainer | Anders Claesson <anders.claesson@gmail.com> |
---|---|

Safe Haskell | None |

Sum, skew sum, etc

# Documentation

inflate :: Perm -> [Perm] -> PermSource

`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]