sym-0.9: Permutations, patterns, and statistics

Math.Perm.Group

Description

Synopsis

compose :: Perm -> Perm -> PermSource

The product/composition of u and v: if w = u compose v then w `at ` i = v `at` (u `at` i).

u

v

w = u compose v

compose

w `at ` i = v `at` (u `at` i)

act :: Perm -> Perm -> PermSource

The (left) group action of Perm on itself: if w = u act v then w `at ` (u `at` i) = v `at` i.

w = u act v

act

w `at ` (u `at` i) = v `at` i