Math.Combinatorics.LatinSquares

Documentation

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

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

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

Are the two latin squares orthogonal?

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

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

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

MOLS from a projective plane