Glen Whitney
|
29e8955051
|
fixes to elt names
|
2017-10-25 02:28:03 +02:00 |
|
Glen Whitney
|
ee4774412c
|
another
|
2017-10-25 02:18:24 +02:00 |
|
Glen Whitney
|
c07b86d832
|
typo
|
2017-10-25 02:17:37 +02:00 |
|
Glen Whitney
|
4d6be4a083
|
rotate element names, helps keep structures separate
|
2017-10-25 02:17:01 +02:00 |
|
Glen Whitney
|
6db132346d
|
just can't get InstallImmediateMethod happy
|
2017-10-24 23:26:04 +02:00 |
|
Glen Whitney
|
59709498a0
|
and that 'info' is not allowe
|
2017-10-24 23:24:41 +02:00 |
|
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 |
|