Glen Whitney
|
dc60617c2d
|
appears 'rank' is necessary
|
2017-10-24 23:23:43 +02:00 |
|
Glen Whitney
|
9fe7800287
|
try to propagate multiplication tables better
|
2017-10-24 23:22:53 +02:00 |
|
Glen Whitney
|
ca39aef5e4
|
have to actually return the values
|
2017-10-24 23:14:42 +02:00 |
|
Glen Whitney
|
3e27eb52f6
|
add rack/quandle creators by perms
|
2017-10-24 22:57:19 +02:00 |
|
Glen Whitney
|
9af5d627d8
|
code should work even if there is such a thing as an infinite table
|
2017-10-20 16:31:22 +02:00 |
|
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 |
|