MathObj.Permutation

• ** Seems to be a candidate for Algebra directory. Algebra.PermutationGroup ?

Documentation

class C p where

There are quite a few way we could represent elements of permutation groups: the images in a row, a list of the cycles, et.c. All of these differ highly in how complex various operations end up being.

Minimal complete definition

domain, apply, inverse

Methods

domain :: Ix i => p i -> (i, i)

apply :: Ix i => p i -> i -> i

inverse :: Ix i => p i -> p i

Instances

C T

Defined in MathObj.Permutation.CycleList.Check

Methods

domain :: Ix i => T i -> (i, i)

apply :: Ix i => T i -> i -> i

inverse :: Ix i => T i -> T i