glen/RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity
33 Commits 1 Branch 0 Tags 117 KiB
341872bafa
Commit Graph

3 Commits

Author SHA1 Message Date
Glen Whitney
32a272fab9 match requirements for distributivity tests 2017-10-20 15:30:44 +02:00
Glen Whitney
7d1ff6c683 Check that putative generators of a structure at least satisfy the structure axioms 2017-10-20 15:25:22 +02:00
Glen Whitney
d304b53fde Add quandles and split out functions based on multiplication tables 2017-10-20 11:08:09 +02:00