sym-0.14.0: Permutations, patterns, and statistics
CopyrightAnders Claesson 2013
MaintainerAnders Claesson <anders.claesson@gmail.com>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Sym.Perm.Group

Description

 
Synopsis

Documentation

compose :: Perm -> Perm -> Perm Source #

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

act :: Perm -> Perm -> Perm Source #

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