Commit Graph

128 Commits

Author SHA1 Message Date
Glen Whitney
d6b6a11d85 Integrate with code repository http://code.studioinfinity.org/glen/raq 2018-07-31 22:01:32 -07:00
Glen Whitney
a50286f959 Initial commit 2018-08-01 04:35:36 +00:00
Glen Whitney
34a4dc4d4a Need the computation of IsTrival to rely on less, and do it for Right also. 2017-10-29 21:46:21 -04:00
Glen Whitney
3e7d40f11c forgot rank 2017-10-29 21:33:02 -04:00
Glen Whitney
9646c6e5ee forgot rank 2017-10-29 21:32:16 -04:00
Glen Whitney
c6754cfc68 Have to jump on IsTrivial, unfortunately 2017-10-29 21:31:16 -04:00
Glen Whitney
8994fdf4dc Rack() only returns racks 2017-10-29 20:56:42 -04:00
Glen Whitney
560564a010 fix the right trivial constructor too 2017-10-29 20:54:12 -04:00
Glen Whitney
cb77a7c7df give the inert families dummy mult tables 2017-10-29 20:29:29 -04:00
Glen Whitney
ba8bc89544 mybe IsTrivial declarations unnecessary 2017-10-29 20:06:12 -04:00
Glen Whitney
f646050aa1 fix typo 2017-10-29 20:04:19 -04:00
Glen Whitney
05b4189c97 Set trivial right away 2017-10-29 20:03:16 -04:00
Glen Whitney
39371b7e0a Use more elementary constructor to make trivial quandle 2017-10-29 19:19:50 -04:00
Glen Whitney
ca66c4dae4 Forgot some Other 2017-10-29 19:10:11 -04:00
Glen Whitney
988b6aa86e Forgot some @ 2017-10-29 19:08:30 -04:00
Glen Whitney
12f5e28112 Add trivial quandle construction 2017-10-29 18:11:33 -04:00
Glen Whitney
6428dddf56 add quotients for direct product elements 2017-10-29 14:50:33 -04:00
Glen Whitney
b089e131d1 Flat() is too destructive on the parmlist; e.g. it destroys DirectProductElements 2017-10-29 14:36:56 -04:00
Glen Whitney
8c939b4a91 Fall back to generators of domain 2017-10-29 14:19:05 -04:00
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