1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-23 08:15:29 +01:00
Commit Graph

720 Commits

Author SHA1 Message Date
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
79b2e615d2 Workaround to SCS ERROR: A->p (column pointers) decreasing
loop solver when SCS gives the error (works in Jupyter)
2017-03-20 21:43:33 +01:00
07877556db update ValidatedNumerics to 0.8 2017-03-20 21:41:34 +01:00
8ddb60a400 Shuffling of JuMP vars, constraints 2017-03-20 21:41:12 +01:00
1368dfed5e errors are redirected in SL.jl 2017-03-17 17:32:49 +01:00
0abcf2a10d report time of JuMP.solve 2017-03-17 16:32:20 +01:00
e8d3201390 no need for const inside function 2017-03-17 16:27:01 +01:00
3517d28990 if spectral_gap is < 0 don't compute Kazhdan constant 2017-03-17 16:24:55 +01:00
7335a94fa6 log more computation specific information 2017-03-17 16:23:36 +01:00
220d2302bd fix true_kappa -> Kazhdan_\kappa 2017-03-16 18:20:09 +01:00
2948d0af76 make PropertyT solver agnostic 2017-03-16 18:19:40 +01:00
39ca5697c9 Finally logging solver output to separate file 2017-03-16 15:37:52 +01:00
04df785909 remove some info 2017-03-16 15:37:28 +01:00
b1e00bfda5 Actually report Kazhdan constant, not the spectral gap 2017-03-16 14:33:41 +01:00
d832050c63 even prettier printing 2017-03-16 14:29:11 +01:00
17cd369f3f better formatting for loggers 2017-03-16 14:27:24 +01:00
ef1e33109d better printing 2017-03-16 10:07:35 +01:00
2bca1a7938 re-redirect stderr 2017-03-16 10:05:35 +01:00
f96240a23b Merge branch 'logging' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl into logging 2017-03-16 09:37:15 +01:00
94b4193ec6 fix solver logger, once again 2017-03-16 09:35:32 +01:00
eefeb926b0 fix solver logger, once again 2017-03-15 20:38:48 +01:00
47664dd7e4 Merge branch 'logging' of https://git.wmi.amu.edu.pl/kalmar/PropertyT.jl into logging 2017-03-15 20:35:05 +01:00
07d227eb8a overwrite solver log instead of appending 2017-03-15 20:34:35 +01:00
d7b0dd763b overwrite solver log instead of appending 2017-03-15 20:16:19 +01:00
59cea54757 flush log prior removal of handler/STDOUT redirection 2017-03-15 20:15:53 +01:00
a16e14efe8 log timings via @timed 2017-03-15 20:13:53 +01:00
b5608d473f fancy format of logs in files, not in terminal 2017-03-15 18:41:59 +01:00
33585437c1 fix: m -> SDP-problem 2017-03-15 18:16:53 +01:00
bdf97be22c printing 2017-03-15 17:56:01 +01:00
120def0ef2 distance_to_cone does not accept keyword args anymore 2017-03-15 17:55:41 +01:00
3d534ac489 warn(msg) -> warn(logger, msg) 2017-03-15 17:52:22 +01:00
646a34866b a trick to redirect SCS output to a file 2017-03-15 17:51:51 +01:00
02a89908db replace all shows and printlns by info(logger,... 2017-03-15 17:51:13 +01:00
94389b887a rudimentary @time replacement for logging 2017-03-15 17:49:39 +01:00
8e9a7dcb15 use Memento for logging 2017-03-15 17:48:52 +01:00
12245ffd9a empty line 2017-03-15 08:24:33 +01:00
0924d24c03 finish changes of names 2017-03-15 08:23:42 +01:00
b711615077 make type of result of algebra_square depend on sqrt_matrix 2017-03-14 23:36:59 +01:00
f9fd7e63a7 multiple dispatch on distance_to_cone 2017-03-14 23:35:52 +01:00
52a68e8429 tidy ValidatedNumerics and move functions 2017-03-14 23:34:47 +01:00
dc528cc97c Require JLD 2017-03-14 16:45:13 +01:00
5286880cda Threads slowed constraints generation 2017-03-14 16:42:04 +01:00
a328502773 Printing of messages 2017-03-14 16:40:53 +01:00
dba02c87ac compute SOS now is @parallel 2017-03-14 16:40:35 +01:00
9ab11e295e the final DeltaansSDP constr lives in Main 2017-03-14 16:39:14 +01:00
e6f65688e9 Mv GroupAlgebras to a separate package 2017-03-14 16:38:28 +01:00
eac8cb6817 Add REQUIRE 2017-03-14 16:38:06 +01:00
989c51c1ef mv Property(T).jl -> PropertyT.jl 2017-03-13 15:56:07 +01:00
325e37997e ipynbs and gws are no longer part of the package 2017-03-13 15:09:56 +01:00
cf38f48e6c move group specific files outside of package 2017-03-13 15:09:03 +01:00