Documentation

srgParams :: Ord a => Graph a -> Maybe (Int, Int, Int, Int)Source

isSRG :: Ord a => Graph a -> BoolSource

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

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

l2' :: (Enum a, Enum t, Num a, Num t, Ord a, Ord t) => a -> Graph tSource

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

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

clebsch' :: Graph IntegerSource

clebsch :: Graph [Integer]Source

clebsch2 :: Graph DesignVertexSource

triples :: [[Integer]]Source

heptads :: [[[Integer]]]Source

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

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

hoffmanSingleton' :: Graph IntegerSource

hoffmanSingleton :: Graph (Either [[Integer]] [Integer])Source

inducedA7 :: Permutation Integer -> Permutation (Either [[Integer]] [Integer])Source

hsA7 :: [Permutation Integer]Source

gewirtz' :: Graph IntegerSource

gewirtz :: Graph [Integer]Source

data DesignVertex Source

higmanSimsGraph' :: Graph IntegerSource

higmanSimsGraph :: Graph DesignVertexSource

inducedM22 :: Permutation Integer -> Permutation DesignVertexSource

higmanSimsM22 :: [Permutation Integer]Source

_HS2 :: [Permutation DesignVertex]Source

_HS :: [Permutation DesignVertex]Source

sp2 :: Int -> Graph [F2]Source

sp :: Int -> Graph [F2]Source

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

schlafli' :: Graph IntegerSource

schlafli :: Graph IntegerSource

mcLaughlin' :: Graph IntegerSource

mcLaughlin :: Graph DesignVertexSource

_McL2 :: [Permutation DesignVertex]Source

_McL :: [Permutation DesignVertex]Source