|Portability||requires multi-parameter type classes|
We shall make a little bit of a hack here, enabling us to use additive
or multiplicative syntax for groups as we wish by simply instantiating
Num with both operations corresponding to the group operation of the
permutation group we're studying
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.
|range :: (i, i)|
|cycles :: [Cycle i]|
|fromCycles :: (i, i) -> [[i]] -> T i||Source|
|Does not check whether the input values are in range.
|liftCmpTable2 :: Ix i => (T i -> T i -> a) -> T i -> T i -> a||Source|
|Produced by Haddock version 2.4.2|