sym-0.11: Permutations, patterns, and statistics

Maintainer	Anders Claesson <anders.claesson@gmail.com>
Safe Haskell	None

Sym.Perm.MeshPattern

Description

Synopsis

Documentation

data MeshPattern Source

Constructors

MP
Fields getPerm :: Perm getMesh :: Mesh

Instances

Eq MeshPattern
Ord MeshPattern
Show MeshPattern
Size MeshPattern

type Mesh = Set Box Source

type Box = (Int, Int)Source

type Point = (Int, Int)Source

mkPattern :: Ord a => [a] -> MeshPattern Source

pattern :: Perm -> MeshPattern Source

mesh :: [Box] -> MeshPattern -> MeshPattern Source

cols :: [Int] -> MeshPattern -> MeshPattern Source

rows :: [Int] -> MeshPattern -> MeshPattern Source

col :: Int -> MeshPattern -> MeshPattern Source

row :: Int -> MeshPattern -> MeshPattern Source

box :: Box -> MeshPattern -> MeshPattern Source

copiesOf :: MeshPattern -> Perm -> [SubSeq]Source

copiesOf p w is the list of sets that represent copies of p in w.

contains :: Perm -> MeshPattern -> Bool Source

w contains p is a predicate determining if w contains the pattern p.

avoids :: Perm -> MeshPattern -> Bool Source

w avoids p is a predicate determining if w avoids the pattern p.

avoidsAll :: Perm -> [MeshPattern] -> Bool Source

w avoidsAll ps is a predicate determining if w avoids the patterns ps.

avoiders :: [MeshPattern] -> [Perm] -> [Perm]Source

avoiders ps ws is the list of permutations in ws avoiding the patterns in ps.

kVincular :: Int -> Perm -> [MeshPattern]Source

vincular :: Perm -> [MeshPattern]Source

bivincular :: Perm -> [MeshPattern]Source

meshPatterns :: Perm -> [MeshPattern]Source