Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
Files used in my and Scott Pellicane's effort to classify all semiquandles. http://en.wikipedia.org/wiki/Biquandle The results/ folder contains a PDF chart of the operation tables of small semiquandles and graphs of the way various sizes embed in one another. It also contains a paper with our theorems-in-progress. The catalogue/ folder contains lists of all semiquandles from size 2-8 up to isomorphism. They are in the LADR format used by the Prover9 family of programs. You can switch their formats using interpformat. http://www.cs.unm.edu/~mccune/mace4/manual/2009-02A/m4-interpformat.html These models were generated with Mace4. http://www.cs.unm.edu/~mccune/mace4/