numeric-prelude-0.2: An experimental alternative hierarchy of numeric type classes

Portabilityrequires multi-parameter type classes
Stabilityprovisional
Maintainermik@math.uni-jena.de

MathObj.Permutation.CycleList

Description

Permutation of Integers represented by cycles.

Synopsis

Documentation

type Cycle i = [i]Source

type T i = [Cycle i]Source

fromFunction :: Ix i => (i, i) -> (i -> i) -> T iSource

cycleRightAction :: Eq i => i -> Cycle i -> iSource

cycleLeftAction :: Eq i => Cycle i -> i -> iSource

cycleAction :: Eq i => [i] -> i -> iSource

cycleOrbit :: Ord i => Cycle i -> i -> [i]Source

(*>) :: Eq i => T i -> i -> iSource

Right (left?) group action on the Integers. Close to, but not the same as the module action in Algebra.Module.

cyclesOrbit :: Ord i => T i -> i -> [i]Source

orbit :: Ord i => (i -> i) -> i -> [i]Source

takeUntilRepetition :: Ord a => [a] -> [a]Source

candidates for Utility ?

inverse :: T i -> T iSource