|
|
aa2d0083d3
|
add -X flag for computations over SL(3,Z[X])
|
2017-08-01 15:07:05 +02:00 |
|
|
|
85841c9399
|
remove SemiDirectProduct.jl
|
2017-07-24 21:42:07 +02:00 |
|
|
|
ab02448238
|
rename generators -> gens
|
2017-07-06 17:36:52 +02:00 |
|
|
|
77c3ba1c61
|
remove DirectProducts and WreathProducts
These are part of the Groups.jl package
|
2017-06-22 15:19:08 +02:00 |
|
|
|
c6a56fcadb
|
integrate with new PropertyT.jl
|
2017-06-22 15:18:26 +02:00 |
|
|
|
9d33d28bd6
|
remove old AutF4.jl
|
2017-06-22 15:17:36 +02:00 |
|
|
|
5fa9c26475
|
moved orbit-related stuff to PropertyT package
|
2017-06-22 15:17:12 +02:00 |
|
|
|
d4661d762a
|
one liner for Id. TODO: fix by multiple dispatch
|
2017-06-22 13:36:15 +02:00 |
|
|
|
dbc74b212e
|
better printing
|
2017-06-22 13:35:22 +02:00 |
|
|
|
b6cf402260
|
move reconstruct to OrbitDecomposition.jl
also: AutS_mreps becomes a dictionary
|
2017-06-22 13:34:29 +02:00 |
|
|
|
ee08c52305
|
move sqrtm out och check_distance_to_positive_cone
|
2017-06-22 12:04:24 +02:00 |
|
|
|
9c3a1d56c7
|
correct reconstruction of the original solution
|
2017-06-22 12:03:36 +02:00 |
|
|
|
f2ffc142f7
|
move include after type definitions
|
2017-06-22 12:01:17 +02:00 |
|
|
|
1468ac209c
|
Group -> Nemo.Group for easier include
|
2017-06-21 16:51:21 +02:00 |
|
|
|
1a5a391f60
|
better printing
|
2017-06-21 16:50:02 +02:00 |
|
|
|
05ee9989b3
|
alternative (commented) problem formulation
orbit variables, but non-orbit constraints;
closer in iterations/s to the original;
much faster convergence;
|
2017-06-21 16:49:30 +02:00 |
|
|
|
3d99c0aff9
|
rename cnstrs -> constraints
|
2017-06-21 16:46:49 +02:00 |
|
|
|
c8c75dc1e7
|
central projection is defined as \Sum\chi(inv(g))g
|
2017-06-21 16:46:22 +02:00 |
|
|
|
b5c069b2a8
|
remove U\pi_matrices func
|
2017-06-21 16:45:25 +02:00 |
|
|
|
d2e2862ae6
|
fine-tune orthSVD
|
2017-06-21 16:44:14 +02:00 |
|
|
|
cc0f07bfd2
|
make orbits into vectors
|
2017-06-21 16:43:39 +02:00 |
|
|
|
403984e8d2
|
the default number of constraints is the length of laplacian
|
2017-06-21 16:42:09 +02:00 |
|
|
|
3c8c3e4e2a
|
remove small_to_zero!
|
2017-06-21 16:41:07 +02:00 |
|
|
|
0c1c816264
|
don't sparsify by default
|
2017-06-21 16:40:52 +02:00 |
|
|
|
806d9c822c
|
sparsify for sparse arrays
|
2017-06-21 16:38:57 +02:00 |
|
|
|
8ce128d926
|
fix sparsify for dense matrices
|
2017-06-21 16:38:19 +02:00 |
|
|
|
1aba4efa21
|
SCS.Direct solver is faster for those problems
|
2017-06-09 22:07:00 +02:00 |
|
|
|
044cdb06e8
|
formatting
|
2017-06-09 22:06:25 +02:00 |
|
|
|
692a51c53e
|
dirname finally
|
2017-06-09 22:05:55 +02:00 |
|
|
|
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 |
|
