kalmar
|
b20cd02d5b
|
Revert "tad better try...catch syntax"
This reverts commit 69e74190af .
|
2017-04-01 08:32:34 +02:00 |
kalmar
|
a827f8c425
|
Revert "fix: don't throw exception in kandA"
This reverts commit 837988c381 .
|
2017-04-01 08:27:54 +02:00 |
kalmar
|
69e74190af
|
tad better try...catch syntax
|
2017-03-31 22:34:56 +02:00 |
kalmar
|
837988c381
|
fix: don't throw exception in kandA
k <=0 is handled in the outside loop
|
2017-03-31 22:34:28 +02:00 |
kalmar
|
ada830f5d5
|
fix: don't return after solving, save kappa and A first
|
2017-03-31 22:33:17 +02:00 |
kalmar
|
e08e787c1a
|
incorporate radius parameter
|
2017-03-31 22:32:36 +02:00 |
kalmar
|
5c36eccc7b
|
cosmetics
|
2017-03-31 16:12:00 +02:00 |
kalmar
|
f487c4635c
|
Cleanup of the check_propertyT function
|
2017-03-31 16:07:08 +02:00 |
kalmar
|
31393cab34
|
solver logger console format
|
2017-03-26 16:22:07 +02:00 |
kalmar
|
58217aaaf6
|
generating_set now returns both S and ID
|
2017-03-26 16:21:47 +02:00 |
kalmar
|
a3779fb50a
|
redirect stderr to full.log
|
2017-03-22 13:24:36 +01:00 |
kalmar
|
3dc571a47c
|
variables in blocks are reused; define A before try
or face UndefVarError: A not defined
|
2017-03-22 12:24:36 +01:00 |
kalmar
|
65f2736588
|
logging keyword is "solver_log"
|
2017-03-20 22:11:57 +01:00 |
kalmar
|
87cfb742bf
|
add and remove log Handler in the same function (solve_SDP)
|
2017-03-20 22:11:26 +01:00 |
kalmar
|
adb9d1b273
|
Workaround to SCS ERROR: A->p (column pointers) decreasing
loop solver when SCS gives the error (works in Jupyter)
|
2017-03-20 21:48:22 +01:00 |
kalmar
|
3517d28990
|
if spectral_gap is < 0 don't compute Kazhdan constant
|
2017-03-17 16:24:55 +01:00 |
kalmar
|
7335a94fa6
|
log more computation specific information
|
2017-03-17 16:23:36 +01:00 |
kalmar
|
220d2302bd
|
fix true_kappa -> Kazhdan_\kappa
|
2017-03-16 18:20:09 +01:00 |
kalmar
|
2948d0af76
|
make PropertyT solver agnostic
|
2017-03-16 18:19:40 +01:00 |
kalmar
|
04df785909
|
remove some info
|
2017-03-16 15:37:28 +01:00 |
kalmar
|
b1e00bfda5
|
Actually report Kazhdan constant, not the spectral gap
|
2017-03-16 14:33:41 +01:00 |
kalmar
|
17cd369f3f
|
better formatting for loggers
|
2017-03-16 14:27:24 +01:00 |
kalmar
|
94b4193ec6
|
fix solver logger, once again
|
2017-03-16 09:35:32 +01:00 |
kalmar
|
07d227eb8a
|
overwrite solver log instead of appending
|
2017-03-15 20:34:35 +01:00 |
kalmar
|
b5608d473f
|
fancy format of logs in files, not in terminal
|
2017-03-15 18:41:59 +01:00 |
kalmar
|
02a89908db
|
replace all shows and printlns by info(logger,...
|
2017-03-15 17:51:13 +01:00 |
kalmar
|
94389b887a
|
rudimentary @time replacement for logging
|
2017-03-15 17:49:39 +01:00 |
kalmar
|
8e9a7dcb15
|
use Memento for logging
|
2017-03-15 17:48:52 +01:00 |
kalmar
|
f9fd7e63a7
|
multiple dispatch on distance_to_cone
|
2017-03-14 23:35:52 +01:00 |
kalmar
|
9ab11e295e
|
the final DeltaansSDP constr lives in Main
|
2017-03-14 16:39:14 +01:00 |
kalmar
|
989c51c1ef
|
mv Property(T).jl -> PropertyT.jl
|
2017-03-13 15:56:07 +01:00 |