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

Safe HaskellNone
LanguageHaskell98

Math.Combinatorics.LatinSquares

Synopsis

Documentation

findLatinSqs :: Eq a => [a] -> [[[a]]] Source

isLatinSq :: Ord a => [[a]] -> Bool Source

isOneOfEach :: Ord a => [a] -> Bool Source

incidenceGraphLS :: Ord t => [[t]] -> Graph (Int, Int, t) Source

incidenceGraphLS' :: Eq a => [[a]] -> Graph (Int, Int) Source

isOrthogonal :: (Ord a, Ord b) => [[a]] -> [[b]] -> Bool Source

Are the two latin squares orthogonal?

findMOLS :: (Eq a, Num a, Ord b) => a -> [[[b]]] -> [[[[b]]]] Source

isMOLS :: Ord a => [[[a]]] -> Bool Source

Are the latin squares mutually orthogonal (ie each pair is orthogonal)?

fromProjectivePlane :: (Ord k, Num k) => Design [k] -> [[[Int]]] Source

MOLS from a projective plane

isOA :: Ord b => (Int, Int) -> [[b]] -> Bool Source

fromLS :: Foldable t => t [Int] -> [[Int]] Source

fromMOLS :: Foldable t => [t [Int]] -> [[Int]] Source

graphOA :: Ord a => [[a]] -> Graph [a] Source

srgParamsOA :: Num t => (t, t) -> Maybe (t, t, t, t) Source