Glen Whitney
|
0b68afb47e
|
brace, bracket, whatever
|
2017-10-29 14:04:50 -04:00 |
|
Glen Whitney
|
cbabb91441
|
move methods into .gi now that they are not immediate
|
2017-10-29 14:03:19 -04:00 |
|
Glen Whitney
|
f80f2a973c
|
are immediate methods causing trouble
|
2017-10-29 14:00:15 -04:00 |
|
Glen Whitney
|
6f65cc451d
|
quasigroup -> quandle a couple places
|
2017-10-29 13:42:35 -04:00 |
|
Glen Whitney
|
98f3e9159a
|
Add AsXXX structure conversion commands
|
2017-10-28 23:48:35 -04:00 |
|
Glen Whitney
|
479191ce0a
|
forgot to change one L to R
|
2017-10-28 19:11:39 -04:00 |
|
Glen Whitney
|
6e25748df5
|
The NC versions require family
|
2017-10-26 21:32:15 -04:00 |
|
Glen Whitney
|
c4cb6e80f8
|
Don't mix your quasigroups and quandles
|
2017-10-26 21:27:32 -04:00 |
|
Glen Whitney
|
7f940ba87e
|
hafta return the value
|
2017-10-26 21:18:53 -04:00 |
|
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 |
|