Commit Graph

  • cc95b62e6f Install a duplicate method for ConjugatorObj to cover built-in objects Glen Whitney 2017-10-21 20:32:54 +0200
  • bc20a37410 unnecessary quotes Glen Whitney 2017-10-21 01:27:37 +0200
  • 722e25f140 temp change Glen Whitney 2017-10-21 01:24:13 +0200
  • ad744b76bd typos Glen Whitney 2017-10-21 01:17:58 +0200
  • d021d67c1c dumb library declaration of LeftQuotient Glen Whitney 2017-10-21 01:15:18 +0200
  • a9b981f149 need right quotients too Glen Whitney 2017-10-21 01:11:04 +0200
  • d91f0a660d two typos on one line, wow Glen Whitney 2017-10-21 01:08:13 +0200
  • 00f4ba915f forgot camels again?? Glen Whitney 2017-10-21 01:06:39 +0200
  • 33b1013ece need circle for oneslotrep Glen Whitney 2017-10-21 01:04:54 +0200
  • bae88b4b75 get names of categories correct Glen Whitney 2017-10-21 01:02:48 +0200
  • 55d35589ad forgot camels Glen Whitney 2017-10-21 01:00:29 +0200
  • 62c3cb04f2 add conjugation quandles! Glen Whitney 2017-10-21 00:51:30 +0200
  • 1266a5ed34 propagate finiteness at construction time Glen Whitney 2017-10-20 16:45:11 +0200
  • 9af5d627d8 code should work even if there is such a thing as an infinite table Glen Whitney 2017-10-20 16:31:22 +0200
  • ef55f230e3 wrong variable name Glen Whitney 2017-10-20 16:23:37 +0200
  • 419408e598 install methodology to know that structures built on mult tables are finite Glen Whitney 2017-10-20 16:21:59 +0200
  • 79682e0048 right quandles are not left racks Glen Whitney 2017-10-20 15:48:34 +0200
  • 341872bafa don't check left prop for a right quandle Glen Whitney 2017-10-20 15:40:55 +0200
  • 32a272fab9 match requirements for distributivity tests Glen Whitney 2017-10-20 15:30:44 +0200
  • 7f53975ebc typos Glen Whitney 2017-10-20 15:28:01 +0200
  • 7d1ff6c683 Check that putative generators of a structure at least satisfy the structure axioms Glen Whitney 2017-10-20 15:25:22 +0200
  • 3c4eb2582a oops have to read the implementations Glen Whitney 2017-10-20 11:11:20 +0200
  • d304b53fde Add quandles and split out functions based on multiplication tables Glen Whitney 2017-10-20 11:08:09 +0200
  • 27c5f78120 Don't test SELF distributivity just to print Glen Whitney 2017-10-19 02:40:48 +0200
  • b366588fa1 Don't test distributivity just to print Glen Whitney 2017-10-19 02:38:07 +0200
  • 25672bad38 Add NC versions of quasigroup constructors to support uniform Print() syntax Glen Whitney 2017-10-19 02:26:18 +0200
  • a70224afae have to define PrintString because Magma has one Glen Whitney 2017-10-19 01:49:29 +0200
  • f00f91765d can't cat a string and int Glen Whitney 2017-10-19 01:39:48 +0200
  • ab8166c7a1 once again forgot argument Glen Whitney 2017-10-19 01:38:26 +0200
  • 917d114b38 more parentheses Glen Whitney 2017-10-19 01:37:07 +0200
  • b4fa1cfd3c need to type the argument to call a function :-) Glen Whitney 2017-10-19 01:35:13 +0200
  • b6811bc762 or of filters didn't work Glen Whitney 2017-10-19 01:30:57 +0200
  • 448a1fbb2a stupid parens Glen Whitney 2017-10-19 01:22:48 +0200
  • 5668076b83 HasIsLeftRack didn't work, so just call IsLeftRack Glen Whitney 2017-10-19 01:18:58 +0200
  • f065049281 string conversions and showing objects Glen Whitney 2017-10-19 01:12:31 +0200
  • 384270d9db Sigh no consistency in when I use L/R an when left/right. Glen Whitney 2017-10-18 22:23:26 +0200
  • f9a9c9fc50 Fix more typo. Glen Whitney 2017-10-18 22:18:38 +0200
  • 95b9835e8c Fix more typo. Glen Whitney 2017-10-18 22:16:56 +0200
  • 961ff3840f Add methods to check self distributivity of a magma. Glen Whitney 2017-10-18 22:15:06 +0200
  • 11e6052a5e Fix more typo. Glen Whitney 2017-10-18 22:05:48 +0200
  • d34e1eb24b Fix typo. Glen Whitney 2017-10-18 22:00:02 +0200
  • 5cde15c8ee Add specializations of the Opposite() operator. Glen Whitney 2017-10-18 21:55:52 +0200
  • bc8c892898 Add constructors for the other one-sided quasigroups and racks. Glen Whitney 2017-10-18 21:37:48 +0200
  • 1c8d3fbe52 have to map indices back into the family Glen Whitney 2017-10-18 13:36:38 +0200
  • d278a47beb oops renamed variable incompletely Glen Whitney 2017-10-18 13:32:42 +0200
  • b720b0d0bd forgot left in left quotient Glen Whitney 2017-10-18 13:28:36 +0200
  • c875b56426 darn := Glen Whitney 2017-10-18 13:25:13 +0200
  • 4523bcb831 Immediate methods must have a rank Glen Whitney 2017-10-18 13:23:08 +0200
  • 6b679f8671 IsFilter is not an operation, which GAP doesn't like Glen Whitney 2017-10-18 13:19:57 +0200
  • 92a7bff629 Initial commit: enough to create a left quasigroup from a multiplication table and do left division therein Glen Whitney 2017-10-18 12:46:13 +0200