Sym.Perm.MeshPattern

Documentation

data MeshPattern

Constructors

MP

Fields

getPerm :: Perm

getMesh :: Mesh

Instances

Eq MeshPattern

Ord MeshPattern

Show MeshPattern

Size MeshPattern

type Mesh = Set Box

type Box = (Int, Int)

type Point = (Int, Int)

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

pattern :: Perm -> MeshPattern

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

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

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

col :: Int -> MeshPattern -> MeshPattern

row :: Int -> MeshPattern -> MeshPattern

box :: Box -> MeshPattern -> MeshPattern

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

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

contains :: Perm -> MeshPattern -> Bool

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

avoids :: Perm -> MeshPattern -> Bool

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

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

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

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

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

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

vincular :: Perm -> [MeshPattern]

bivincular :: Perm -> [MeshPattern]

meshPatterns :: Perm -> [MeshPattern]