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