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