Commit Graph

132 Commits

Author SHA1 Message Date
1468986b4a remove Group specific code 2017-06-08 20:07:34 +02:00
f9127c59b4 make AutS an argument of compute_orbit_data 2017-06-08 20:06:47 +02:00
fbfa968e78 Move Orbit related functions to OrbitDecomposition.jl 2017-06-08 20:04:04 +02:00
72ea3f5e0a group together matrix/C*-representation functions 2017-06-08 20:03:22 +02:00
6ee187ec59 Move characters and Projections to a separate file 2017-06-08 20:01:35 +02:00
1575aabfa9 Add simple permutation action on Nemo.MatElem 2017-06-08 19:59:18 +02:00
762f069cbd Iterator protocol for elements of Nemo.FinField 2017-06-08 19:51:48 +02:00
6d07adabf3 remove the convert override 2017-06-08 19:51:04 +02:00
0d45e885f9 remove old comments 2017-06-08 16:49:24 +02:00
acae7322aa no more @showprogress 2017-06-08 16:49:10 +02:00
04b7622840 SOutFN_generating_set 2017-06-08 16:48:22 +02:00
aaba1a056a decouple init_orbit_data from Group, S generation 2017-06-08 16:47:50 +02:00
c38dcb02ed cosmetic (better message in throws) 2017-06-07 19:30:40 +02:00
49c9151a83 delta, not \Delta, again 2017-06-07 11:07:37 +02:00
8b694b6758 final check for the computed lambda and P 2017-06-07 11:07:18 +02:00
eee9b3b767 init_data returns, Group, S and the laplacian 2017-06-07 11:06:54 +02:00
95b06ccaf5 laplacian is stored as delta, not \Delta 2017-06-07 11:06:08 +02:00
6250ccb82e missing "=" 2017-06-06 18:48:25 +02:00
f3ec2df97d logging inside OrbAutFN and OrbitDecomposition 2017-06-06 18:48:15 +02:00
8dc5577254 import Group, GroupElem 2017-06-06 18:47:10 +02:00
16cbd949be move Orb_AutF4 to OrbAutFN 2017-06-06 18:04:29 +02:00
00c5af2708 rename name -> dirname 2017-06-06 18:02:54 +02:00
9d7c499a1d initialise orbit decomposition if not present 2017-06-06 18:02:33 +02:00
8e7d273db2 create dirname from parsed N and radius 2017-06-06 18:01:59 +02:00
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