|
|
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 |
|
|
|
8e7d273db2
|
create dirname from parsed N and radius
|
2017-06-06 18:01:59 +02:00 |
|
