Plans regarding latin squares in general.
More...
Go to the source code of this file.
Detailed Description
Plans regarding latin squares in general.
 Todo:
 Relations to other modules
 Todo:
 Organisation

The main question is why we have two modules, this one and Groupoids/Quasigroups ?

Perhaps Sudoku (and related structures) are more naturally considered combinatorial, and thus belong to here, while all those algebraic considerations belong there.

What about counting and enumeration?

Since here as basic structure we have combinatorial matrices, one might consider as notion of isomorphism principal isotopism here (the natural notion of isomorphism for combinatorial matrices), while most other notions go to module Quasigroups ?

Counting latin squares is the same as counting quasigroups, while counting reduced latin squares is the same as counting loops (unital quasigroups) with fixed neutral element (while for order n the total number of loops has to be multiplied with n, since every element could be the neutral element).
Definition in file general.hpp.