MathObj.Permutation.CycleList

Permutation of Integers represented by cycles.

Documentation

type Cycle i = [i]

type T i = [Cycle i]

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

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

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

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

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

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

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]

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

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

candidates for Utility ?

takeUntilRepetitionSlow :: Eq a => [a] -> [a]

choose :: Set a -> Maybe a

keepEssentials :: T i -> T i

isEssential :: Cycle i -> Bool

inverse :: T i -> T i