Commit Graph

57 Commits

Author SHA1 Message Date
Florian Stecker 49f64f509b add documentation 2023-01-06 21:09:01 +01:00
Florian Stecker e264921831 delete 'old' folder (still available in old_experiments branch together with other things) 2022-06-13 11:28:36 +02:00
Florian Stecker 4cd76a8d81 clean out old experiments 2022-06-13 11:25:40 +02:00
Florian Stecker 69564f5750 copy .gitignore and remove unnecessary mtune option 2019-02-03 13:13:54 +01:00
Florian Stecker 6c938f751d use cddlib to try to find a dominant weight for every balanced ideal 2019-01-18 11:57:36 +01:00
Florian Stecker 7fcb9f1056 compute weights in A3 2019-01-08 17:01:24 +01:00
Florian Stecker 69d975bac9 dominant weights 2019-01-03 20:15:36 +01:00
Florian Stecker d3336bab00 specialized routine to generate cosets for <bcd..> \ D2n 2018-12-01 20:56:23 -08:00
Florian Stecker 4342a1f3e5 changed spaces to tabs 2018-11-20 22:31:54 -08:00
Florian Stecker 0c3341d8c2 improved idealbounds a bit, but thrown it out of Makefile 2018-10-02 18:09:52 -05:00
Florian Stecker 16125bd8a8 draw bruhat graph 2018-03-28 10:43:23 +02:00
Florian Stecker a12f845f05 bug in input checking: do not accept In 2018-03-28 10:41:11 +02:00
Florian Stecker 1f21d6bb13 idealbounds fix 2017-11-29 09:49:01 +01:00
Florian Stecker 50329dbed7 typo 2017-11-28 16:59:17 +01:00
Florian Stecker 8b7507744f ideal codimension bounds 2017-11-28 16:58:29 +01:00
Florian Stecker 3d14cdda78 mtune=native 2017-11-28 15:38:20 +01:00
Florian Stecker b823aa7b0b Fixes 2017-03-20 10:46:23 +01:00
Florian Stecker 161d850294 generators output 2017-03-20 09:36:48 +01:00
Florian Stecker 7dff4f8365 En fix and wordlength output 2017-03-10 14:40:08 +01:00
Florian Stecker 97100eef20 edited enumerate.c and thickenings.c to use indices 2017-02-21 12:10:46 +01:00
Florian Stecker 98f055d026 edited weyl.c to use indices 2017-02-21 12:01:47 +01:00
Florian Stecker cc3e5952b1 added index attribute, fixed F4 Cartan matrix 2017-02-07 13:49:06 +01:00
Florian Stecker 0078da79a7 moved process.c to old 2017-01-31 21:07:27 +01:00
Florian Stecker e3606dbc8f removed old coxeter group implementation 2017-01-31 21:04:32 +01:00
Florian Stecker c1477c0317 delete process.c 2017-01-31 21:00:35 +01:00
Florian Stecker 9a2a4400d5 rename to enumerate & fixed newlines in output 2017-01-31 20:24:53 +01:00
Florian Stecker 91377101ff fixed bug in alphabetize() 2017-01-31 16:29:03 +01:00
Florian Stecker efd8e621ea Major rewrite 2017-01-27 20:48:44 +01:00
Florian Stecker ab546946c8 Valid Weyl group check cleanup 2016-12-13 21:55:21 +01:00
Florian Stecker 32d0dc8da1 All Cartan matrices 2016-12-13 21:26:48 +01:00
Florian Stecker fc4ee42646 Levels 2016-12-10 14:36:44 +01:00
Florian Stecker 1c65abd735 some output changes 2016-12-02 10:31:31 +01:00
Florian Stecker 1e0959b7ce Results seem sensible 2016-11-23 20:58:05 +01:00
Florian Stecker c4824abafd New Weyl group algorithm 2016-11-20 23:19:08 +01:00
Florian Stecker 3bd8ff019d Callbacks 2016-11-19 11:16:45 +01:00
Florian Stecker 882695c15e Cleanup in bitvec.h and bugfix in principal ideal generation 2016-11-18 20:39:19 +01:00
Florian Stecker ed63dc2b82 Getting better, but still not there 2016-11-16 23:46:37 +01:00
Florian Stecker 1811cf143e still not working 2016-11-16 22:59:35 +01:00
Florian Stecker 562e9bb50a Including bitvectors, but slow and wrong 2016-11-15 18:55:30 +01:00
Florian Stecker 2a297a74ca find fixpoints in simplified graph 2016-11-14 11:54:52 +01:00
Florian Stecker f9700589f8 deleted test.c 2016-11-11 17:18:59 +01:00
Florian Stecker 993ccfd457 Mod graph by invariances 2016-11-11 17:07:45 +01:00
Florian Stecker 03854910b9 Output bugfix 2016-11-07 17:22:16 +01:00
Florian Stecker 8c21410dda simplified graphs 2016-10-30 18:27:48 +01:00
Florian Stecker 4703357f41 new transitive reduction algo 2016-10-29 17:02:05 +02:00
Florian Stecker 68bc766f92 bugs in transitive reduction? 2016-10-29 14:47:55 +02:00
Florian Stecker 241065565d Recursion 2016-10-19 16:40:03 +02:00
Florian Stecker 5bcb30b5c1 some cleanup -> sent to david dumas 2016-10-14 18:49:20 +02:00
Florian Stecker 76783124e2 printstep as an environment variable 2016-10-11 11:32:43 +02:00
Florian Stecker baf050ee3c minor corrections 2016-10-07 12:25:36 +02:00