Commit Graph

47 Commits

Author SHA1 Message Date
Marek Kaluba 27ce603872
import packages as ... instead of using
This includes:
* PermutationGroups as PG
* SymbolicWedderburn as SW
* StarAlgebras as SA
2024-02-15 22:42:17 +01:00
Marek Kaluba 5b4a7f6804
reshuffle sos_sdps for clarity 2023-04-04 23:50:48 +02:00
Marek Kaluba 150b5c2cba
skip the identity constraint if augmented 2023-04-04 23:48:59 +02:00
Marek Kaluba 132802feeb
use sparse matrices for invariant constraint 2023-04-04 23:14:56 +02:00
Marek Kaluba fb3b51fd6e
fix sos_problem_dual 2023-03-20 01:37:19 +01:00
Marek Kaluba bacd170504
preserve trace when diagonalizing M_orb 2023-03-20 01:37:18 +01:00
Marek Kaluba a5f5a4ea35
lots of re-formatting 2023-03-20 01:37:18 +01:00
Marek Kaluba a1de0ecc85
improve __fast_recursive_dot a bit 2023-03-20 01:37:17 +01:00
Marek Kaluba 1fb324b49a
update constraints to StarAlgebras-0.2 2023-03-20 01:36:40 +01:00
Marek Kaluba d1d46d13ef
use spzeros constructor compatible with julia-1.6 2022-11-16 00:14:06 +01:00
Marek Kaluba f053bffefe
rewrite reconstruct! with a better architecture 2022-11-15 19:36:39 +01:00
Marek Kaluba 35c5110a37
move solve to a separate file 2022-11-15 18:51:43 +01:00
Marek Kaluba ca6a17acca
use ProgressMeter instead of poormans progressbar 2022-11-15 00:27:09 +01:00
Marek Kaluba 971e07b819
move to using sparse matrices in symmetrized sdp
dense are faster for small sizes only
2022-11-14 19:50:09 +01:00
Marek Kaluba 2f89538eb0
add __fast_recursive_dot to speed up constraints 2022-11-14 19:49:42 +01:00
Marek Kaluba 903c1683ff
remove unused (old) constraints function 2022-11-08 09:59:26 +01:00
Marek Kaluba 633f065488
cleanup Project.toml and fix imports 2022-11-07 18:44:27 +01:00
Marek Kaluba bb0354d3a0
rewrite sos_spds.jl
This includes changes related to:
* SymbolicWedderburn
* new formulation of constraints
* general warmstart for JuMP-^1.3
2022-11-07 15:42:47 +01:00
kalmarek 1e14380942
rename OrbitData → BlockDecomposition 2020-10-17 11:39:19 +02:00
kalmarek eeecc35232
use @SDconstraint and SOS_problem_(primal|dual) 2020-10-17 02:11:34 +02:00
kalmarek 7ab971eb76
update to SCS-0.7.0 2020-10-17 02:08:51 +02:00
kalmarek c467a52f83
add dual version of the naive SOS problem 2020-08-27 10:06:02 +02:00
kalmarek df8b177ef5
flush_cstdio immediately after optimize! 2020-08-27 10:04:08 +02:00
kalmarek 94c5481952
constraint sum(P) == 0 only if element and orderunit are augmented 2020-01-10 16:55:13 +01:00
kalmarek ead95d20c3
perm_avg → perm_avg! 2019-10-31 00:16:06 +01:00
kalmarek 70bf9ad74c
perm → Generic.Perm 2019-10-30 23:58:10 +01:00
kalmarek a5a3d9d069
modernize naive sdp formulation 2019-08-02 11:52:19 +02:00
kalmarek 70c160411d
cosmetic changes (mostly empty lines) 2019-04-12 23:18:48 +02:00
kalmarek 7d0677333c
small stylistic tweaks for @constraint(s) 2019-03-10 16:52:54 +01:00
kalmarek 0b92aebb2f
use @info, @warn without () 2019-02-24 00:17:20 +01:00
kalmarek 1f5e7ebdbe
fix performance regression in generating constraints 2019-02-21 14:53:11 +01:00
kalmarek 49c8ffa900
warmstarting is limited to SCS specific hacks
until https://github.com/JuliaOpt/SCS.jl/pull/138 is merged
2019-02-21 14:47:39 +01:00
kalmarek 689bae035e
simplify PropertyT.solve due to changes in MOI 2019-02-21 14:45:58 +01:00
kalmarek 5199189e5f
update SOS_problem to JuMP-0.19 syntax
thanks to MOI we don't have to pass λ around as it's accesible via 
m[:λ];

Ps need to be kept reference of, since it's an anonymous variable
2019-02-21 14:43:38 +01:00
kalmarek 8e4dd2072c
endof -> lastindex 2019-01-28 08:47:40 +01:00
kalmarek 4768bb6e35 Merge branch 'AutFn' into enh/julia-v0.7 2019-01-17 08:39:13 +01:00
kalmarek 80ac135f59 logging changes 2019-01-14 17:46:13 +01:00
kalmarek 10d319f48b fix: deprecations for julia-0.7/1.0 2019-01-11 06:32:09 +01:00
kalmarek 760dfdc7d5 optimisation in constraintLHS! 2019-01-10 04:48:30 +01:00
kalmarek d6bb71b3cb fix: another issue with redirection of scslog 2019-01-02 10:03:40 +01:00
kalmarek e56087cf73 fix: solve doesn't return warmstart 2019-01-02 10:03:01 +01:00
kalmarek e0a141dd5d fix redirection of scs log via do-block 2018-11-25 01:04:10 +01:00
kalmarek 6b90197ae3 remove superfluous @time 2018-11-24 15:02:28 +01:00
kalmarek 9ff0481a0c return solver's status alongside the solution 2018-11-22 20:13:15 +01:00
kalmarek 8331159baa add separate average over perms to perm_avg 2018-11-22 20:01:33 +01:00
kalmarek bb5ed331d3 redistribute content of OrbitDecomposition into new files 2018-09-09 11:37:11 +02:00
kalmarek dedf342ba2 mv Orbit-wise, SDPs → orbitdata, sos_sdps; rm OrbitDecomposition 2018-09-09 11:35:13 +02:00