Commit Graph

109 Commits

Author SHA1 Message Date
3f33cd69b8 matrix_repr can be computed for any g::GroupElem 2017-06-09 22:05:02 +02:00
7510198187 add using DirectProducts, WreathProducts 2017-06-09 22:04:30 +02:00
578a75d807 Add action of permutation group on SLn 2017-06-09 22:03:35 +02:00
6ac2f02fba fix: SOutFN requires only N 2017-06-09 22:02:48 +02:00
7e159f9d3d add action of permutation group on AutFN 2017-06-09 22:02:21 +02:00
fa2b218449 simplify dirnames 2017-06-09 12:00:41 +02:00
0db3200a4c name is stored in ::Settings 2017-06-09 12:00:15 +02:00
b9cdfb3a97 wlen is no longer a kwarg in check_distance_to_positive_cone 2017-06-09 11:59:25 +02:00
c6c3cba728 splaplacian is Float64 by default 2017-06-09 11:58:44 +02:00
53ea594438 add sparse kwarg to transform 2017-06-09 11:58:21 +02:00
c98e853268 use indexing syntax to extract variables from JuMP.model 2017-06-09 11:57:56 +02:00
01fbd037c3 no JuMP.name for Ps, to avoid warnings 2017-06-09 11:56:47 +02:00
d64ba34407 dispatch sparsify! on the type of matrix 2017-06-09 11:56:17 +02:00
0eae65169e add Validated Numerics if we want to use Interval 2017-06-09 11:56:00 +02:00
17ce9ff2fc better initial logging 2017-06-08 21:44:20 +02:00
e76f8f0c60 comment out sparsification 2017-06-08 21:40:35 +02:00
7cc0bff40d better logging 2017-06-08 21:40:13 +02:00
529564439f use args values provided by Settings 2017-06-08 21:39:45 +02:00
2f2118a011 use multiplicative group of a Ring by default 2017-06-08 21:38:58 +02:00
633f2222c8 rename ProblemData -> OrbitData 2017-06-08 21:38:14 +02:00
34cb1c80ab make ProblemData less specialised 2017-06-08 21:37:15 +02:00
8725772d67 produce symmetric generating sets for SL(n, ) 2017-06-08 21:36:18 +02:00
1f2cadc5e4 names tweaking 2017-06-08 21:35:50 +02:00
2859602639 use Settings type to pass arguments 2017-06-08 21:35:27 +02:00
e868312a2a Add SL_orbit.jl 2017-06-08 20:09:36 +02:00
67b4bf8551 add AutFN_orbit.jl 2017-06-08 20:09:27 +02:00
1b98997815 remove ArgParse 2017-06-08 20:08:05 +02:00
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