Commit Graph

150 Commits

Author SHA1 Message Date
Glen Whitney
decc92c4ab missing argument 2017-10-26 21:18:06 -04:00
Glen Whitney
7d19748254 finally found it, parens where brackets should have been 2017-10-25 19:26:21 +02:00
Glen Whitney
2619562396 tiny typo 2017-10-25 17:02:21 +02:00
Glen Whitney
3f203ef98d more print statements 2017-10-25 16:54:11 +02:00
Glen Whitney
6afece7b15 resort to print statements 2017-10-25 16:52:09 +02:00
Glen Whitney
1041b07741 track it down 2017-10-25 16:50:18 +02:00
Glen Whitney
9d6e5267cd more bizarreness 2017-10-25 16:48:35 +02:00
Glen Whitney
60e1b76d6f really strange error 2017-10-25 16:47:09 +02:00
Glen Whitney
1662da4e75 try to localize strange error 2017-10-25 16:40:56 +02:00
Glen Whitney
ab35761b24 two more typos 2017-10-25 16:35:17 +02:00
Glen Whitney
aed92b7793 a few small fixes 2017-10-25 16:33:53 +02:00
Glen Whitney
4b723e17f6 add direct prodcts 2017-10-25 16:18:35 +02:00
Glen Whitney
890e943901 tiny fix to elt names 2017-10-25 02:30:46 +02:00
Glen Whitney
29e8955051 fixes to elt names 2017-10-25 02:28:03 +02:00
Glen Whitney
ee4774412c another 2017-10-25 02:18:24 +02:00
Glen Whitney
c07b86d832 typo 2017-10-25 02:17:37 +02:00
Glen Whitney
4d6be4a083 rotate element names, helps keep structures separate 2017-10-25 02:17:01 +02:00
Glen Whitney
6db132346d just can't get InstallImmediateMethod happy 2017-10-24 23:26:04 +02:00
Glen Whitney
59709498a0 and that 'info' is not allowe 2017-10-24 23:24:41 +02:00
Glen Whitney
dc60617c2d appears 'rank' is necessary 2017-10-24 23:23:43 +02:00
Glen Whitney
9fe7800287 try to propagate multiplication tables better 2017-10-24 23:22:53 +02:00
Glen Whitney
ca39aef5e4 have to actually return the values 2017-10-24 23:14:42 +02:00
Glen Whitney
3e27eb52f6 add rack/quandle creators by perms 2017-10-24 22:57:19 +02:00
Glen Whitney
0231c423a3 typo 2017-10-23 03:35:15 +02:00
Glen Whitney
85f37ad774 consolidate code for those opposites and propagate finiteness 2017-10-23 03:34:13 +02:00
Glen Whitney
68d20cf850 add opposites for quasigroups, racks, and quandles 2017-10-23 03:22:20 +02:00
Glen Whitney
03f36dd672 typos 2017-10-23 03:11:05 +02:00
Glen Whitney
030ed9d114 give up on cataloguing all properties we expect elements might have, it's just too many 2017-10-23 03:09:38 +02:00
Glen Whitney
2d0e6740ba typo 2017-10-23 03:01:38 +02:00
Glen Whitney
b749798764 Another property of elements that comes up, probably more to come 2017-10-23 03:00:43 +02:00
Glen Whitney
d30824247d put IsFiniteOrderElement on the list of props 2017-10-22 18:46:13 +02:00
Glen Whitney
763ec873e0 typo 2017-10-22 18:44:51 +02:00
Glen Whitney
c8aedd03c6 put IsPerm on the list of props 2017-10-22 18:44:20 +02:00
Glen Whitney
1337c5a18f bad parens 2017-10-22 18:42:33 +02:00
Glen Whitney
3d18bcace2 have to opposite some elements first before you can get the family 2017-10-22 18:41:15 +02:00
Glen Whitney
fb5f9af82f yeah one more 2017-10-22 18:37:57 +02:00
Glen Whitney
cc19d81941 magmawithinverseS 2017-10-22 18:37:24 +02:00
Glen Whitney
503562f7ab Oh and with / too 2017-10-22 18:35:39 +02:00
Glen Whitney
79feddf92c yeah generally need othermethod with LeftQuotient 2017-10-22 18:34:31 +02:00
Glen Whitney
110785feeb remove stray line 2017-10-22 18:31:05 +02:00
Glen Whitney
0b6539f3e9 typo 2017-10-22 18:29:29 +02:00
Glen Whitney
42a5e826d9 general opposite construction 2017-10-22 18:23:45 +02:00
Glen Whitney
ccf0e6f8e3 always forgetting to go down to the underlying 2017-10-22 00:51:37 +02:00
Glen Whitney
070ad81eba forgot thos brackets again! 2017-10-22 00:48:05 +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
6d296de57e likewise for LeftQuotient 2017-10-21 20:58:41 +02:00
Glen Whitney
1713af2c65 Product of two conjugator objects is a conjugator object 2017-10-21 20:53:45 +02:00
Glen Whitney
ae71d58873 Quandles constructed from finite groups are finite 2017-10-21 20:47:54 +02:00
Glen Whitney
35301b4839 Forgot brackets in Objectify 2017-10-21 20:38:51 +02:00