|
|
7fa49756ba
|
@logtime macro and time_string function
|
2017-11-02 13:44:08 +01:00 |
|
|
|
5bb311141d
|
splaplacian doesn't have Id argument
|
2017-10-27 18:36:59 +02:00 |
|
|
|
ca18f75efd
|
clean the main check_property_T in both cases
|
2017-10-27 18:36:32 +02:00 |
|
|
|
f206a13980
|
update function names
|
2017-10-27 18:35:50 +02:00 |
|
|
|
098a7ce948
|
check_distance_to... -> distance_to_...
and a lot of old code removal
|
2017-10-27 18:34:07 +02:00 |
|
|
|
4ae2c617cb
|
Higher level compute_SOS
|
2017-10-27 18:33:18 +02:00 |
|
|
|
96ce02852f
|
replace rationalise&project with interval&project
|
2017-10-27 18:32:58 +02:00 |
|
|
|
0225f38066
|
just two simple distance_to_cone functions
for Numbers and for Intervals
|
2017-10-27 18:30:59 +02:00 |
|
|
|
8defd71b59
|
new low-level compute_SOS function
|
2017-10-27 18:29:19 +02:00 |
|
|
|
d8b2f0ab30
|
increase sigfigs to 12; remove explicit precision setting
(it's 53 anyway);
|
2017-10-27 18:25:13 +02:00 |
|
|
|
b96b39e910
|
Revert "make initial P nullable"
This reverts commit 32c020fd88.
|
2017-10-27 18:20:28 +02:00 |
|
|
|
01e6625571
|
Revert "Allow for AbstractMathProfSolver in Settings"
This reverts commit 6cbf5e6944.
|
2017-10-27 18:19:53 +02:00 |
|
|
|
94c9a75a21
|
we don't need to pass id element -- it could be derived from S
|
2017-10-27 18:18:34 +02:00 |
|
|
|
32c020fd88
|
make initial P nullable
|
2017-10-27 18:18:34 +02:00 |
|
|
|
46a9150266
|
solver is not defined here
|
2017-10-27 18:18:34 +02:00 |
|
|
|
6cbf5e6944
|
Allow for AbstractMathProfSolver in Settings
|
2017-10-27 18:18:34 +02:00 |
|
|
|
bc2a827342
|
use prepath(sett)/fullpath(sett) instead of sett.name
|
2017-10-09 19:49:49 +02:00 |
|
|
|
b3f1961fbf
|
use prepath/fullpath(::Settings) in OrbitData
and in create_SDP_problem generation
|
2017-10-09 19:49:01 +02:00 |
|
|
|
36a1151a73
|
add functions to produce prepath, fullpath out of Settings
|
2017-10-09 19:45:28 +02:00 |
|
|
|
6070bbf709
|
rename name -> prefix in filenames functions
|
2017-10-09 19:44:54 +02:00 |
|
|
|
4c777073a7
|
Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl
|
2017-10-09 18:08:57 +02:00 |
|
|
|
d7bc94b64c
|
@parallel compute_SOS
|
2017-10-09 18:08:22 +02:00 |
|
|
|
344e11a974
|
overwrite Q to allow gc
|
2017-10-09 18:06:29 +02:00 |
|
|
|
0fabd21e53
|
much faster Cstar_repr
|
2017-10-03 14:46:05 +02:00 |
|
|
|
dbca3945a8
|
call flush_cstdio() AFTER redirect_stdout
to fix SCS log buffering issue
|
2017-09-19 17:38:16 +02:00 |
|
|
|
154a66939f
|
call flush_cstdio() AFTER redirect_stdout
to fix SCS log buffering issue
|
2017-09-19 17:37:35 +02:00 |
|
|
|
4e3bcbba6e
|
update to the new Nemo.Generic module
|
2017-09-15 18:19:20 +02:00 |
|
|
|
5ac2876e31
|
update to julia v0.6.0
|
2017-09-15 18:16:31 +02:00 |
|
|
|
0693455656
|
Merge branch 'master' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl
|
2017-09-10 13:39:52 +02:00 |
|
|
|
b46ed5ae96
|
Revert "ccall((:printf, "libc"), ...) produces segfault for large examples??"
This reverts commit 69a3ab8d87.
This should be commented on machine-basis
|
2017-09-09 20:47:12 +02:00 |
|
|
|
d8f04957b6
|
replace isfile by exists
which returns true also for symlinks
|
2017-09-06 16:02:46 +02:00 |
|
|
|
a61cff986e
|
verbose&check for possible rank reduction in Uπs
|
2017-08-27 21:25:12 +02:00 |
|
|
|
3b723e7f0e
|
Add logging when verbose=true
|
2017-08-27 21:23:42 +02:00 |
|
|
|
6df4c790c0
|
Sparsification of a dense matrix is not required to be rank preserving
This can bite!
|
2017-08-27 21:23:14 +02:00 |
|
|
|
972697e2ba
|
cosmetic
|
2017-08-27 20:24:18 +02:00 |
|
|
|
be1251f274
|
Merge branch 'enh/logging'
|
2017-08-27 19:57:16 +02:00 |
|
|
|
b781dae356
|
@logtime(logger, ex) macro
|
2017-08-27 19:56:35 +02:00 |
|
|
|
69a3ab8d87
|
ccall((:printf, "libc"), ...) produces segfault for large examples??
|
2017-08-27 19:13:20 +02:00 |
|
|
|
f543d847ea
|
Save memory: ΔandSDPconstraints takes a lot of it
|
2017-08-27 19:12:21 +02:00 |
|
|
|
830ef95181
|
Merge branch 'enh/aug_correction'
|
2017-08-27 19:11:11 +02:00 |
|
|
|
757f89e54b
|
no need to limit precision in rationalise_and_project
since we project directly to intervals the computational load is negligible
|
2017-08-27 19:09:56 +02:00 |
|
|
|
2724612ea3
|
better logging in Orbit-wise.jl
|
2017-08-27 19:06:17 +02:00 |
|
|
|
0c40e16e9e
|
fix double assignment of constraints
|
2017-08-27 19:01:32 +02:00 |
|
|
|
8a6707eddd
|
rework addconstraints! with progress printing
|
2017-08-27 19:00:49 +02:00 |
|
|
|
db55927729
|
sparsify! in transform and in constrLHS
|
2017-08-27 18:59:16 +02:00 |
|
|
|
7dbd11bebf
|
eps-sparsify for both sparse and dense matrices
|
2017-08-27 18:58:13 +02:00 |
|
|
|
151a6ff6da
|
better density for dense matrices
|
2017-08-27 18:57:27 +02:00 |
|
|
|
7fd18e9e57
|
logging
|
2017-08-27 18:50:56 +02:00 |
|
|
|
56d944e8af
|
correct columns of Q directly to intervals
hopefully containing 0
|
2017-08-27 18:46:31 +02:00 |
|
|
|
9840268250
|
use threaded version of matrix reps
|
2017-08-27 18:37:44 +02:00 |
|
