Glen Whitney
d7f394f957
Correct the TrueMethods: elt must be associate and have inverses to have quotients
2018-09-12 08:34:44 -04:00
Glen Whitney
1cf79a02c3
small amendments.
2017-10-30 12:30:15 -04:00
Glen Whitney
03d80d9acb
Increase priority of LOOPS IsCommutative.
2017-10-30 12:14:36 -04:00
Glen Whitney
69a866d5db
Maybe if we undup the declaration.
2017-10-30 12:11:29 -04:00
Glen Whitney
b3b9e3817b
Can IsCommutative be a regular method.
2017-10-30 12:09:24 -04:00
Glen Whitney
aaaf1a04a9
typo in that.
2017-10-30 11:59:07 -04:00
Glen Whitney
8f7f6891ec
loop element reps are quasigroup element reps.
2017-10-30 11:58:26 -04:00
Glen Whitney
4c2817b04f
define opposites even if just have cayley table.
2017-10-30 11:53:35 -04:00
Glen Whitney
2dcde99549
oops need to check first factor for being loop in DirectProductLoop.
2017-10-30 11:45:14 -04:00
Glen Whitney
143e51b801
oops parens where there should have been brackets.
2017-10-30 11:38:00 -04:00
Glen Whitney
4254b760c9
the quasigroup elm rep should be a quasigroup element
2017-10-30 11:32:44 -04:00
Glen Whitney
8c5670ef3f
typo in last
2017-10-30 11:24:56 -04:00
Glen Whitney
2696cd6ff2
Have to cut many other methods down to be more specific to element reps
2017-10-30 11:23:55 -04:00
Glen Whitney
a69dcd05d3
Fix a couple of typos
2017-10-30 01:00:42 -04:00
Glen Whitney
244492a7ed
Finish the merge with 3.4.0
...
Aha, somehow I did not include the PackageInfo.g and the properly merged
gap/quasigroups.gd into the last commit; here they are
2017-10-30 00:35:55 -04:00
Glen Whitney
91ba2744c1
Merge branch 'Loops3.4.0'
...
Incorporate the changes from 3.3.0 to 3.4.0 of LOOPS into this
development. These were mostly straightforward. The only conflicts were
in quasigroups.gd, in which all of the changes from this development
were selected, as "IsLatin" had already been removed.
2017-10-30 00:33:44 -04:00
Glen Whitney
ad942c0e28
And add new files from LOOPS 3.4.0
...
Previous commit did not include the new files.
2017-10-29 23:55:29 -04:00
Glen Whitney
f64208f12f
update to LOOPS 3.4.0
...
These are simply the changes as distributed.
2017-10-29 23:54:13 -04:00
Glen Whitney
fb39c9e02e
Print methods for quasigroup/loop elms jsut for this specific representation
2017-10-29 15:12:01 -04:00
Glen Whitney
71672eeb9c
Oops, unused local variable
2017-10-26 21:15:21 -04:00
Glen Whitney
df74177abb
typo
2017-10-25 16:28:33 +02:00
Glen Whitney
1493a9c480
factor out parts of direct product computation that can be reused for racks
2017-10-25 16:18:04 +02:00
Glen Whitney
68390c3869
oops lapsed back to python 0-based
2017-10-24 23:12:35 +02:00
Glen Whitney
2521a38635
Generalize CayleyTableByPerms so that it is more useful in rack/quandle context
2017-10-24 16:16:27 +02:00
Glen Whitney
54c503e356
Don't create multiplication tables just for the sake of Opposite
2017-10-20 11:06:49 +02:00
Glen Whitney
6d095fe0d3
Remove stray comment
2017-10-19 03:11:29 +02:00
Glen Whitney
7c3f421a20
delete leftover code
2017-10-19 02:12:38 +02:00
Glen Whitney
1ec279ab0b
stupid brackets
2017-10-19 02:11:34 +02:00
Glen Whitney
a4d79ff66e
provide facility to bind element names
2017-10-19 02:10:01 +02:00
Glen Whitney
87e7b01333
provide facility to bind element names
2017-10-19 02:08:47 +02:00
Glen Whitney
88533fd7de
extend the element naming prefix to more general setting, and so use more elaborate identifier
2017-10-19 01:11:26 +02:00
Glen Whitney
9d8dfdb9e2
Fix more typo.
2017-10-18 22:05:39 +02:00
Glen Whitney
c848f29524
Fix typo.
2017-10-18 22:00:16 +02:00
Glen Whitney
1ac424c524
Lift some functions to magmas in general
2017-10-18 21:36:03 +02:00
Glen Whitney
cf2bc14423
Looks like quasigroup elements have to be multiplicative elements (as that is not implied by ExtL and ExtRElement)
2017-10-17 22:28:41 +02:00
Glen Whitney
66b00d7d34
Close a parenthesis.
2017-10-17 21:59:04 +02:00
Glen Whitney
75fe6fa0e3
Fix typo.
2017-10-17 21:57:31 +02:00
Glen Whitney
e05b2a6deb
Properties take just a single filter, I guess.
2017-10-17 21:56:00 +02:00
Glen Whitney
722f25e51f
Rudimentary support for left/right quasigroups.
2017-10-17 21:42:47 +02:00
Glen Whitney
7e8b3b5562
Copy of LOOPS 3.3.0
2017-10-16 21:43:09 +02:00
