HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe HaskellNone
LanguageHaskell98

Math.Combinatorics.StronglyRegularGraph

Description

A module defining various strongly regular graphs, including the Clebsch, Hoffman-Singleton, Higman-Sims, and McLaughlin graphs.

A strongly regular graph with parameters (n,k,lambda,mu) is a (simple) graph with n vertices, in which the number of common neighbours of x and y is k, lambda or mu according as whether x and y are equal, adjacent, or non-adjacent. (In particular, it is a k-regular graph.)

Strongly regular graphs are highly symmetric, and have large automorphism groups.

Documentation

isSRG :: Ord t => Graph t -> Bool Source

t' :: (Enum t1, Enum a, Num t1, Num a, Ord t1, Ord a) => a -> Graph t1 Source

t :: (Enum a, Num a, Ord a) => a -> Graph [a] Source

l2' :: (Enum t1, Enum t, Num t1, Num t, Ord t1, Ord t) => t -> Graph t1 Source

l2 :: (Enum t, Num t, Ord t) => t -> Graph (t, t) Source

paleyGraph :: (Num t, Ord t) => [t] -> Graph t Source

(+^) :: Ord a => [[a]] -> Permutation a -> [[a]] Source

(+^^) :: Ord a => [[a]] -> [Permutation a] -> [[[a]]] Source

sp :: Int -> Graph [F2] Source

switch :: Ord t => Graph t -> [t] -> Graph t Source