Affine Planes Documentation
Safe HaskellSafe-Inferred

AffinePlanes

Synopsis

Documentation

affinePlaneFromMOLS :: [LatinSquare] -> [[[Int]]] #

Generates an affine plane from a list of Mutually Orthogonal Latin Squares (MOLS). For a valid affine Plane it is required to have order-1 MOLS === Parameters

  • mols: The list of Latin Squares to be converted into an affine plane.

Examples

>>> affinePlaneFromMOLS (primeMols 3)
[[[4,5,6],[7,8,9],[10,11,12]],[[4,7,10],[5,8,11],[6,9,12]],[[4,11,9],[7,5,12],[10,8,6]],[[4,8,12],[7,11,6],[10,5,9]]]
Corresponds to the picture online:
<https://math.libretexts.org/@api/deki/files/64215/clipboard_efee7bf8cdba384e9daf01aca685ba13b.png?revision=1&size=bestfit&width=182&height=178>
>>> affinePlaneFromMOLS mols4
[[[5,6,7,8],[9,10,11,12],[13,14,15,16],[17,18,19,20]],[[5,9,13,17],[6,10,14,18],[7,11,15,19],[8,12,16,20]],[[5,10,19,16],[9,6,15,20],[13,18,11,8],[17,14,7,12]],[[5,18,15,12],[9,14,19,8],[13,10,7,20],[17,6,11,16]],[[5,14,11,20],[9,18,7,16],[13,6,19,12],[17,10,15,8]]]