
MathObj.Permutation.CycleList.Check  Portability  requires multiparameter type classes  Stability  provisional  Maintainer  numericprelude@henningthielemann.de 



Description 


Synopsis 



Documentation 


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.
 Constructors   Instances  



Constructors  Cons   range :: (i, i)   cycles :: [Cycle i]  

 Instances  


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.6.0 