numeric-prelude-0.0.4: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
MathObj.Permutation.Table
PortabilityPermutation represented by an array of the images.
Stabilityprovisional
Maintainernumericprelude@henning-thielemann.de
Description
Synopsis
type T i = Array i i
fromFunction :: Ix i => (i, i) -> (i -> i) -> T i
toFunction :: Ix i => T i -> i -> i
fromPermutation :: (Ix i, C p) => p i -> T i
fromCycles :: Ix i => (i, i) -> [[i]] -> T i
identity :: Ix i => (i, i) -> T i
cycle :: Ix i => [i] -> T i -> T i
inverse :: Ix i => T i -> T i
compose :: Ix i => T i -> T i -> T i
swap :: (a, b) -> (b, a)
choose :: Set a -> Maybe (a, Set a)
closure :: Ix i => [T i] -> [T i]
closureSlow :: Ix i => [T i] -> [T i]
Documentation
type T i = Array i iSource
fromFunction :: Ix i => (i, i) -> (i -> i) -> T iSource
toFunction :: Ix i => T i -> i -> iSource
fromPermutation :: (Ix i, C p) => p i -> T iSource
fromCycles :: Ix i => (i, i) -> [[i]] -> T iSource
identity :: Ix i => (i, i) -> T iSource
cycle :: Ix i => [i] -> T i -> T iSource
inverse :: Ix i => T i -> T iSource
compose :: Ix i => T i -> T i -> T iSource
swap :: (a, b) -> (b, a)Source
candidate for Utility
choose :: Set a -> Maybe (a, Set a)Source
Extremely nave algorithm to generate a list of all elements in a group. Should be replaced by a Schreier-Sims system if this code is ever used for anything bigger than .. say .. groups of order 512 or so.
closure :: Ix i => [T i] -> [T i]Source
closureSlow :: Ix i => [T i] -> [T i]Source
Produced by Haddock version 2.6.0