Commit Graph

158 Commits

Author SHA1 Message Date
603ff57a45 parse radius from command line 2017-06-06 18:00:23 +02:00
7f65823c2d parse N from command line 2017-06-06 17:59:59 +02:00
413383ad83 init_data = precompute orbit decomposition 2017-06-06 17:54:44 +02:00
bcdcb962da include OrbitDecomposition 2017-06-06 17:54:05 +02:00
9692415674 accept parameter N 2017-06-06 17:53:50 +02:00
d078eb73b7 dims are stored alongside U\pis 2017-06-06 17:53:33 +02:00
5e04690722 externalise Group from compute_orbit_data 2017-06-06 17:53:03 +02:00
3059142db0 cleaning 2017-06-06 16:23:36 +02:00
39a6b39a2f no need to save matrix_reps 2017-06-06 16:23:22 +02:00
58521b9c2f remove "if file exists..." 2017-06-06 16:22:50 +02:00
222f0f40b5 add pm, Delta computation 2017-06-06 16:22:05 +02:00
e2198623d6 using PropertyT 2017-06-06 16:20:44 +02:00
070d7ec8f5 rename main to compute_orbit_data 2017-06-06 16:20:20 +02:00
45696aac34 move Cstar_repr 2017-06-06 16:19:46 +02:00
8c930a6f7f move overwritten convert 2017-06-06 16:19:17 +02:00
ca2948404b Solve the orbit decomposed problem 2017-06-06 12:15:30 +02:00
6a7b054b9f code to decompose problem for AutFN into an orbit problem 2017-06-06 12:15:06 +02:00
d0b1f65cad update gitignore 2017-06-06 12:12:23 +02:00
5311680a26 add WreathProducts 2017-06-06 12:05:28 +02:00
3050446a97 Add DirectProducts 2017-06-06 12:05:14 +02:00
c9434a646a rework AutFN.jl (most functionality is in Groups module) 2017-06-06 12:04:48 +02:00
86b8127322 Update SL.jl to the newest GroupRings/PropertyT 2017-06-06 12:03:58 +02:00
dc9cd4c9ac rework balls generation for AutFN 2017-04-10 21:43:56 +02:00
88d2e2549b use version of products from PropertyT 2017-04-10 21:43:15 +02:00
b3bc17cba2 Add SOut generating set 2017-04-10 20:02:17 +02:00
c090f1d3c5 bring AutFN up to date with PropertyT 2017-04-10 20:01:56 +02:00
216a886488 slight tweaks 2017-04-08 13:48:00 +02:00
2c621947ef fix for 9697bdc (name was not set to variable) 2017-04-01 12:14:25 +02:00
508a2eaa93 report size of SL(n,p) 2017-03-31 22:41:04 +02:00
9697bdc71d use radius parameter 2017-03-31 22:40:31 +02:00
4f37db5bde update AutFN.jl to latest changes in PropertyT 2017-03-27 22:43:58 +02:00
05e9355c12 better default options 2017-03-26 16:27:38 +02:00
740ca78ac2 remove more cruft 2017-03-26 16:16:26 +02:00
c75f82c892 remove unused functions 2017-03-26 16:09:09 +02:00
e3cd93a5b2 More flexible S^n generation 2017-03-26 16:08:49 +02:00
a3091f7166 SL_generatingset returns also ID, no need for separate function 2017-03-26 16:08:02 +02:00
6570c99300 Using Nemo instead of Mods
much faster for finite fields; a bit slower for Z
2017-03-26 16:06:41 +02:00
4c55783a37 broadcast * for Mods 2017-03-17 18:12:56 +01:00
fb9e402912 Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/GroupsWithPropertyT 2017-03-17 18:10:21 +01:00
3842a828a2 direct errors to separate file? 2017-03-17 18:09:23 +01:00
ddad244d0b direct errors to separate file 2017-03-17 17:32:05 +01:00
51d29143b6 main returns 0 2017-03-17 16:02:50 +01:00
c2bd094dbf name depends on p 2017-03-17 16:02:34 +01:00
2cb9af1549 include name of the group upper-bound 2017-03-17 15:33:37 +01:00
e7d7027c61 update the bound for SL(4,Z) 2017-03-17 15:32:40 +01:00
59c1ad0cdd slightly better printing 2017-03-17 15:32:19 +01:00
556b9cbba5 fix: N -> n in ID(n,p) 2017-03-17 15:31:50 +01:00
72997b58d0 fix the determinan for finite fields 2017-03-17 15:31:14 +01:00
3ec3b553e8 use ArgParse for command line interface 2017-03-16 18:13:55 +01:00
969121e8f5 move SL3Z.jl to SL.jl 2017-03-16 15:44:56 +01:00