Copyright	(c) Henning Thielemann 2006
Maintainer	numericprelude@henning-thielemann.de
Stability	provisional
Portability
Safe Haskell	Safe-Inferred
Language	Haskell98

MathObj.Permutation

Description

Routines and abstractions for permutations of Integers.

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

Synopsis

class C p where
- domain :: Ix i => p i -> (i, i)
- apply :: Ix i => p i -> i -> i
- inverse :: Ix i => p i -> p i

Documentation

class C p where Source #

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.

Methods

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

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

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

Instances

Instances details

C T Source #
Instance details Defined in MathObj.Permutation.CycleList.Check Methods domain :: Ix i => T i -> (i, i) Source # apply :: Ix i => T i -> i -> i Source # inverse :: Ix i => T i -> T i Source #