Sym.Perm.MeshPattern

Documentation

data MeshPattern

Constructors

MP

Fields

• getPerm :: Perm
• getMesh :: Mesh

Instances

Eq MeshPattern

Methods

(==) :: MeshPattern -> MeshPattern -> Bool

(/=) :: MeshPattern -> MeshPattern -> Bool

Ord MeshPattern

Methods

compare :: MeshPattern -> MeshPattern -> Ordering

(<) :: MeshPattern -> MeshPattern -> Bool

(<=) :: MeshPattern -> MeshPattern -> Bool

(>) :: MeshPattern -> MeshPattern -> Bool

(>=) :: MeshPattern -> MeshPattern -> Bool

max :: MeshPattern -> MeshPattern -> MeshPattern

min :: MeshPattern -> MeshPattern -> MeshPattern

Show MeshPattern

Methods

showsPrec :: Int -> MeshPattern -> ShowS

show :: MeshPattern -> String

showList :: [MeshPattern] -> ShowS

Size MeshPattern

Methods

size :: MeshPattern -> Int

type Mesh = Set Box

A mesh is a, possibly empty, set of shaded boxes.

type Box = (Int, Int)

A box is represented by the coordinates of its southwest corner.

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]