Maintainer | Anders Claesson <anders.claesson@gmail.com> |
---|---|

Safe Haskell | Safe-Infered |

The dihedral group of order 8 acting on permutations.

To avoid name clashes this module is best imported `qualified`

;
e.g.

import qualified Math.Sym.D8 as D8

# The group elements

# D8, the klein four-group, and orbits

d8, klein4 :: Perm a => [a -> a]Source

The dihedral group of order 8 (the symmetries of a square); that is,

d8 = [r0, r1, r2, r3, s0, s1, s2, s3]

orbit :: Ord a => Perm a => [a -> a] -> a -> [a]Source

`orbit fs x`

is the orbit of `x`

under the functions in `fs`

. E.g.,

orbit klein4 "2314" == ["1423","2314","3241","4132"]