715d4bf7ab
add JLD
2019-02-23 00:13:48 +01:00
d69e33629b
better info in sparsify!
2019-02-21 21:10:36 +01:00
d31933a02f
fix travis
2019-02-21 19:03:49 +01:00
40ee2cfb80
version 0.2.0
...
* compat GroupRings = "^0.2.0"
* compat Groups = "^0.2.0"
* compat JuMP = "^0.19.0"
2019-02-21 16:32:05 +01:00
a603c104cd
reorganize tests
2019-02-21 16:31:38 +01:00
1f5e7ebdbe
fix performance regression in generating constraints
2019-02-21 14:53:11 +01:00
fb8ec1578a
use multi-line @info where possible
2019-02-21 14:52:20 +01:00
a2f8e3dc17
update the language to MOI
...
* use JuMP.OptimizerFactory
* use value(m[:λ]) to retrive values
2019-02-21 14:51:15 +01:00
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
689bae035e
simplify PropertyT.solve due to changes in MOI
2019-02-21 14:45:58 +01:00
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
88e55dab18
fix travis
2019-02-18 19:57:00 +01:00
355382c871
Merge branch 'enh/julia-v0.7' of git.wmi.amu.edu.pl:kalmar/PropertyT.jl into enh/julia-v0.7
2019-01-28 18:42:03 +01:00
0ccf9f280b
Sparse Arrays are needed for JLD to load OrbitData
2019-01-28 18:41:16 +01:00
1ce892dc14
workaround for https://github.com/JuliaLang/julia/issues/30739
2019-01-28 18:40:39 +01:00
5ef5b93dbd
fix info
2019-01-28 17:03:24 +01:00
1ab0d0f393
fix info
2019-01-28 09:08:24 +01:00
8e4dd2072c
endof -> lastindex
2019-01-28 08:47:40 +01:00
581097b7d3
add: tests for oSL(4,Z); global @info
2019-01-28 08:42:40 +01:00
9def006ef3
ignore results of tests
2019-01-18 16:00:17 +01:00
9567169bdc
reorganize tests
2019-01-18 15:59:17 +01:00
23f829a874
fix order of using XXX to make sure the types are known to JLD
2019-01-18 15:57:21 +01:00
4768bb6e35
Merge branch 'AutFn' into enh/julia-v0.7
2019-01-17 08:39:13 +01:00
2a94cd355f
update deps
2019-01-17 08:27:37 +01:00
48c43b4c59
minimize imports
2019-01-14 17:46:36 +01:00
80ac135f59
logging changes
2019-01-14 17:46:13 +01:00
af009547b5
fix: distance_to_positive_cone expects HALF the support radius
2019-01-14 17:45:23 +01:00
dd5fdc770b
add tests!
2019-01-14 17:44:35 +01:00
3e6a1dde51
rework Settings
2019-01-14 17:44:13 +01:00
5492998e7e
group actions definitions to orbitdata.jl
2019-01-11 07:54:36 +01:00
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
0614bf268d
rework loading/saving GroupRingElems
2019-01-11 06:33:14 +01:00
10d319f48b
fix: deprecations for julia-0.7/1.0
2019-01-11 06:32:09 +01:00
0ee12f76a5
rework the Settings once again
2019-01-11 04:33:56 +01:00
760dfdc7d5
optimisation in constraintLHS!
2019-01-10 04:48:30 +01:00
ad00c76f68
update Manifest.toml, Project.toml
2019-01-09 11:26:41 +01:00
96336eebbd
add Project.toml
2019-01-09 07:58:49 +01:00
d9a8da045b
indent fixes in docs
2019-01-08 04:59:56 +01:00
d4613168c3
reorganize autIdproj
2019-01-08 04:59:41 +01:00
38d80e63ed
move application specific code to 1712.07167.jl
2019-01-08 04:59:23 +01:00
d6bb71b3cb
fix: another issue with redirection of scslog
2019-01-02 10:03:40 +01:00
e56087cf73
fix: solve doesn't return warmstart
2019-01-02 10:03:01 +01:00
e0a141dd5d
fix redirection of scs log via do-block
2018-11-25 01:04:10 +01:00
6b90197ae3
remove superfluous @time
2018-11-24 15:02:28 +01:00
9ff0481a0c
return solver's status alongside the solution
2018-11-22 20:13:15 +01:00
8331159baa
add separate average over perms to perm_avg
2018-11-22 20:01:33 +01:00
fc496e29f5
replace groupring_square by fmac! (which is almost allcation free)
2018-11-22 20:00:06 +01:00
1432467d74
fix: CheckSolution.jl -> checksolution.jl
2018-09-16 18:19:39 +02:00
6b886d35b9
diverge methods at the level of computeλandP
2018-09-16 18:19:04 +02:00
0ccc782d2f
save and load OrbitData directly
2018-09-16 18:15:34 +02:00
