Glen Whitney
|
ef55f230e3
|
wrong variable name
|
2017-10-20 16:23:37 +02:00 |
|
Glen Whitney
|
419408e598
|
install methodology to know that structures built on mult tables are finite
|
2017-10-20 16:21:59 +02:00 |
|
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 |
|