QuasigroupCompletion (Fixpoint v0.8.32)

Summary

Functions

Link to this function

quasigroup_completion(mat, num_sols \\ :infinity)

quasigroup_completion(mat,num_sols \ :infinity)

Solves the Quasigroup completion problem for the matrix mat. num_sols are the required number of solutions, defaults to :infinity.