1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-13 14:00:27 +01:00
Commit Graph

817 Commits

Author SHA1 Message Date
12c5c47ca8 add Nemo.isone(::GroupElem) 2017-11-06 11:31:15 +01:00
84813fedc4 indentation 2017-11-05 20:55:53 +01:00
093cced764 Merge branch 'enh/logtime' 2017-11-05 20:55:05 +01:00
bc8c28170e missing @logtime in orbit-check_property_T 2017-11-05 20:54:33 +01:00
cda741cc0c Merge branch 'enh/check_solution' 2017-11-05 19:30:58 +01:00
36e5979774 @logtime Q = sqrtm(P) 2017-11-05 19:30:11 +01:00
f7f9ceef07 pass only the i-th column in @parallel mode
this cuts on memory per worker drastically
2017-11-05 19:28:51 +01:00
c3ea80e6a9 replace remaining @time with '@logtime logger' 2017-11-05 16:38:51 +01:00
c0dc6937a5 cut on allocations in compute_SOS 2017-11-03 16:54:41 +01:00
fba2464a80 Specify concrete Interval types in augIdproj 2017-11-03 16:42:53 +01:00
a000290074 remove rationalization functions 2017-11-03 16:41:12 +01:00
79d5c7f933 rename parameter S -> T 2017-11-02 13:48:20 +01:00
1c67cdbcea remove timed_msg 2017-11-02 13:45:27 +01:00
3eab5b721a replace @timed by @logtime 2017-11-02 13:45:12 +01:00
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