Safe Haskell | Safe-Infered |
---|

- 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

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

isOneOfEach :: Ord a => [a] -> BoolSource

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

Are the two latin squares orthogonal?

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

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

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