https://github.com/begriffs/semiquandle
Experiments in classification
https://github.com/begriffs/semiquandle
Last synced: 7 months ago
JSON representation
Experiments in classification
- Host: GitHub
- URL: https://github.com/begriffs/semiquandle
- Owner: begriffs
- Created: 2012-01-06T04:08:09.000Z (about 14 years ago)
- Default Branch: master
- Last Pushed: 2012-06-01T03:42:23.000Z (almost 14 years ago)
- Last Synced: 2025-02-28T03:27:12.293Z (about 1 year ago)
- Language: Python
- Homepage:
- Size: 3.43 MB
- Stars: 1
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README
Awesome Lists containing this project
README
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/