Commit Graph

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