Glen Whitney
|
42a5e826d9
|
general opposite construction
|
2017-10-22 18:23:45 +02:00 |
|
Glen Whitney
|
b2717afe9d
|
made some weird editing error
|
2017-10-22 00:44:56 +02:00 |
|
Glen Whitney
|
e531b6491d
|
GeneratorsOfMagma for a quandle generated by ConjugatorObjs
|
2017-10-22 00:43:04 +02:00 |
|
Glen Whitney
|
79682e0048
|
right quandles are not left racks
|
2017-10-20 15:48:34 +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 |
|
Glen Whitney
|
25672bad38
|
Add NC versions of quasigroup constructors to support uniform Print() syntax
|
2017-10-19 02:26:18 +02:00 |
|
Glen Whitney
|
bc8c892898
|
Add constructors for the other one-sided quasigroups and racks.
|
2017-10-18 21:37:48 +02:00 |
|
Glen Whitney
|
4523bcb831
|
Immediate methods must have a rank
|
2017-10-18 13:23:08 +02:00 |
|
Glen Whitney
|
6b679f8671
|
IsFilter is not an operation, which GAP doesn't like
|
2017-10-18 13:19:57 +02:00 |
|
Glen Whitney
|
92a7bff629
|
Initial commit: enough to create a left quasigroup from a multiplication table and do left division therein
|
2017-10-18 12:46:13 +02:00 |
|