Math.Combinatorics.LatinSquares

Synopsis

• findLatinSqs :: Eq a => [a] -> [[[a]]]
• isLatinSq :: Ord a => [[a]] -> Bool
• isOneOfEach :: Ord a => [a] -> Bool
• incidenceGraphLS :: Ord a => [[a]] -> Graph (Int, Int, a)
• incidenceGraphLS' :: Eq a => [[a]] -> Graph (Int, Int)
• isOrthogonal :: (Ord a, Ord b) => [[a]] -> [[b]] -> Bool
• findMOLS :: (Eq a, Num a, Ord b) => a -> [[[b]]] -> [[[[b]]]]
• isMOLS :: Ord a => [[[a]]] -> Bool
• fromProjectivePlane :: (Ord k, Num k) => Design [k] -> [[[Int]]]
• isOA :: Ord b => (Int, Int) -> [[b]] -> Bool
• fromLS :: [[Int]] -> [[Int]]
• fromMOLS :: [[[Int]]] -> [[Int]]
• graphOA :: Ord b => [[b]] -> Graph [b]
• srgParamsOA :: Num t => (t, t) -> Maybe (t, t, t, t)

Documentation