kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity
817 Commits 9 Branches 0 Tags 1.1 MiB
Commit Graph

583 Commits

Author SHA1 Message Date
kalmarek 1e14380942
rename OrbitData → BlockDecomposition 2020-10-17 11:39:19 +02:00
kalmarek 0d48ff698c
use ^ for group action everywhere 2020-10-17 02:13:59 +02:00
kalmarek 984161c91a
cleanup orbitdata 2020-10-17 02:13:05 +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 6992840899
update Groups to 0.5 2020-10-17 02:04:31 +02:00
kalmarek 6ab18d0283
allow arbitrary actions in orbit_decomposition (defaults to ^) 2020-10-10 12:55:02 +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 7d6d038262
update deps 2020-06-23 16:15:01 +02:00
kalmarek 0778f828e4
rework group actions 2020-06-23 16:13:42 +02:00
kalmarek b9a30f02c7
formatting 2020-04-19 21:37:09 +02:00
kalmarek daa29f5223
update to latest AA, Groups, GroupRings 2020-04-19 21:36:24 +02:00
kalmarek 94c5481952
constraint sum(P) == 0 only if element and orderunit are augmented 2020-01-10 16:55:13 +01:00
kalmarek ff8fcb5dd3
fix names and tests 2019-11-20 13:49:16 +01:00
kalmarek 3712aadbf7
bump to 0.3.1 2019-11-18 14:15:34 +01:00
kalmarek bfb08e69e4
interpret_results for intervals 2019-11-05 11:17:11 +01:00
kalmarek f3ec2dd1b1
minor fixes 2019-11-05 11:16:37 +01:00
kalmarek 5fca3a96c6
streamline filenames creation 2019-11-05 11:15:52 +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 dc14b2fd95
replace Settings.warmstart by force_compute 2019-10-30 23:56:53 +01:00
kalmarek a5a3d9d069
modernize naive sdp formulation 2019-08-02 11:52:19 +02:00
kalmarek 5e821286e5
define and use one(::Group) 2019-07-05 19:23:37 +02:00
kalmarek 4bce106c2d
better logging 2019-07-05 19:23:36 +02:00
kalmarek e23b6a85dc
include sqadjop.jl from 1812.03456.jl file 2019-07-05 19:23:35 +02:00
kalmarek cc9d3db846
we act on MatAlgElem now; use MatAlgebra 2019-07-04 22:52:21 +02:00
kalmarek 88b460a959
use NCRing[Elem]s instead of MatSpace and use NCRing in Settings 2019-07-04 22:52:02 +02:00
kalmarek 6c906b05cb
add sqadjop.jl and unit tests 2019-06-30 13:19:24 +02:00
kalmarek b9dc701f17
when acting on MatElem always act on the lhs columns/rows 2019-06-30 11:58:32 +02:00
kalmarek 4c4ef195e1
replace radius by halfradius where appropriate 2019-06-30 11:56:57 +02:00
kalmarek 8467b0d432
slightly faster perm action on MatElem 2019-06-28 09:15:01 +02:00
kalmarek 761879f5fd
fix rebase 2019-06-28 01:34:37 +02:00
kalmarek 1345257732
further speedups for WreathProduct on Mats 2019-06-28 01:24:04 +02:00
kalmarek 70c72d28d9
further speedups for perm action on Automorphisms 2019-06-28 01:24:03 +02:00
kalmarek 7e854f902a
simplify WreathProductElem action on Automorphisms 2019-06-28 01:24:02 +02:00
kalmarek 55b7ed09bc
reorganize actions 2019-06-28 01:24:01 +02:00
kalmarek f4f9dfe21d
much faster WreathProductElem actions 2019-06-28 01:24:00 +02:00
kalmarek 4cef591dfa
faster permutation actions on GroupElements 2019-06-28 01:23:53 +02:00
kalmarek 7a8b21db3c
relax type assumptions in compute_SOS and else 2019-06-28 01:20:48 +02:00
kalmarek b5f12501f9
try/catch file loading 2019-04-17 12:37:41 +02:00
kalmarek 2a84d04edc
test the correctness of hpc sos computation 2019-04-16 17:05:34 +02:00
kalmarek 70c160411d
cosmetic changes (mostly empty lines) 2019-04-12 23:18:48 +02:00
kalmarek ed910ccde5
rename computeλandP → approximate_by_SOS 2019-04-02 23:04:46 +02:00
kalmarek bb42538ee5
rename distance_to_positive_cone → certify_SOS_decomposition 
and make it a bit more general
 2019-04-02 23:04:45 +02:00
kalmarek 6fde981b32
save warmstart in time-stamped file; 
don't override warmstart.jld if there are any nans in the solution (e.g.
solver was interrupted)
 2019-04-02 23:04:44 +02:00
kalmarek 60bdbd0e74
optimized version of compue_SOS 
using accumulator matrix to allow auto-vectorisation
 2019-03-15 08:13:38 +01:00
kalmarek 2602d0a181
Revert "Thread.@threads compute_SOS (better precision!)" 
This reverts commit ad1b11f10d.
 2019-03-14 14:25:32 +01:00
kalmarek ad1b11f10d
Thread.@threads compute_SOS (better precision!) 2019-03-12 15:47:31 +01: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 d69e33629b
better info in sparsify! 2019-02-21 21:10:36 +01:00
kalmarek 1f5e7ebdbe
fix performance regression in generating constraints 2019-02-21 14:53:11 +01:00
kalmarek fb8ec1578a
use multi-line @info where possible 2019-02-21 14:52:20 +01:00
kalmarek a2f8e3dc17
update the language to MOI 
* use JuMP.OptimizerFactory
* use value(m[:λ]) to retrive values
 2019-02-21 14:51:15 +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 1ce892dc14
workaround for https://github.com/JuliaLang/julia/issues/30739 2019-01-28 18:40:39 +01:00
kalmarek 5ef5b93dbd
fix info 2019-01-28 17:03:24 +01:00
kalmarek 8e4dd2072c
endof -> lastindex 2019-01-28 08:47:40 +01:00
kalmarek 581097b7d3
add: tests for oSL(4,Z); global @info 2019-01-28 08:42:40 +01:00
kalmarek 4768bb6e35 Merge branch 'AutFn' into enh/julia-v0.7 2019-01-17 08:39:13 +01:00
kalmarek 48c43b4c59 minimize imports 2019-01-14 17:46:36 +01:00
kalmarek 80ac135f59 logging changes 2019-01-14 17:46:13 +01:00
kalmarek af009547b5 fix: distance_to_positive_cone expects HALF the support radius 2019-01-14 17:45:23 +01:00
kalmarek 3e6a1dde51 rework Settings 2019-01-14 17:44:13 +01:00
kalmarek 5492998e7e group actions definitions to orbitdata.jl 2019-01-11 07:54:36 +01:00
kalmarek 76b8fed6b1 update for changes in AbstractAlgebra, Groups, GroupRings 
* MatSpaces are no longer Rings, they are modules (that's a hack, I 
know)
* DirectProduct → DirectPower
* full → GroupRings.dense
* constructors of GroupRings require explicit basis
 2019-01-11 06:37:24 +01:00
kalmarek 0614bf268d rework loading/saving GroupRingElems 2019-01-11 06:33:14 +01:00
kalmarek 10d319f48b fix: deprecations for julia-0.7/1.0 2019-01-11 06:32:09 +01:00
kalmarek 0ee12f76a5 rework the Settings once again 2019-01-11 04:33:56 +01:00
kalmarek 760dfdc7d5 optimisation in constraintLHS! 2019-01-10 04:48:30 +01:00
kalmarek d9a8da045b indent fixes in docs 2019-01-08 04:59:56 +01:00
kalmarek d4613168c3 reorganize autIdproj 2019-01-08 04:59:41 +01:00
kalmarek 38d80e63ed move application specific code to 1712.07167.jl 2019-01-08 04:59:23 +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 fc496e29f5 replace groupring_square by fmac! (which is almost allcation free) 2018-11-22 20:00:06 +01:00
kalmarek 1432467d74 fix: CheckSolution.jl -> checksolution.jl 2018-09-16 18:19:39 +02:00
kalmarek 6b886d35b9 diverge methods at the level of computeλandP 2018-09-16 18:19:04 +02:00
kalmarek 0ccc782d2f save and load OrbitData directly 2018-09-16 18:15:34 +02:00
kalmarek 9d6a6fa0f8 add verbose=true to OrbitData constructor 2018-09-16 18:03:25 +02:00
kalmarek 3df3967fad add generic saveGRElem, loadGRElem 2018-09-16 18:02:35 +02:00
kalmarek 08d53840a0 rename computeLaplacian -> Laplacian 2018-09-16 18:01:44 +02:00
kalmarek 2def63c980 rework filename(...) 2018-09-16 18:01:04 +02:00
kalmarek afe845e911 parametrize Settings over {Naive, Symmetrized} 2018-09-16 18:00:21 +02:00
kalmarek 592f0bf7a5 parametrize Settings by {Symmetric, Naive} 2018-09-09 13:21:33 +02:00
kalmarek 23449ed3c0 mv Laplacians, Projections and CheckSolution 
to laplacians, RGprojections and checksolution
 2018-09-09 11:50:26 +02: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
kalmarek edb4e70228 correctly overload solve 
we indicate also that the use our own solve methods
 2018-09-06 22:48:14 +02:00
kalmarek a1eccf8b73 small fixes 2018-09-05 14:34:57 +02:00
kalmarek 3dbdd0ed7f create dir for solver log, if necessary 2018-09-05 14:34:48 +02:00
kalmarek 0b8f01e4b5 cosmetic changes 2018-09-05 10:41:11 +02:00
kalmarek 8fa7e1211f move orthSVD close to OrbitData 2018-09-05 10:40:08 +02:00