- data Digraph a = DG [a] [(a, a)]
- cayleyGraphP :: (Ord a, Show a) => [Permutation a] -> Graph (Permutation a)
- cayleyGraphS :: Ord a => ([a], [([a], [a])]) -> Graph [a]

# Documentation

DG [a] [(a, a)] |

cayleyGraphP :: (Ord a, Show a) => [Permutation a] -> Graph (Permutation a)Source

The Cayley graph (undirected) on the generators (and their inverses), for a group given as permutations

cayleyGraphS :: Ord a => ([a], [([a], [a])]) -> Graph [a]Source

The Cayley graph (undirected) on the generators (and their inverses), for a group given as generators and relations