220 Commits

Author	SHA1	Message	Date
kalmar	8ccfe09105	correct the final printout	2017-04-08 13:49:57 +02:00
kalmar	10a0977d2e	yet another change to printed format	2017-04-01 17:10:01 +02:00
kalmar	5876998cba	Change names: kappa -> lambda, A -> P	2017-04-01 15:21:57 +02:00
kalmar	028979bfd1	better printing	2017-04-01 14:22:30 +02:00
kalmar	41e53a598a	Finally move all intense interval arithmetic to Interval{Float64}	2017-04-01 14:22:01 +02:00
kalmar	dbed75103e	allow check_distance_to_positive_cone return Interval	2017-04-01 14:21:01 +02:00
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	450d43ed14	ValidatedNumerics parameters -- to be checked	2017-03-31 22:38:51 +02:00
kalmar	2b1bb7b765	break after checking in floats return negatives (commented out)	2017-03-31 22:38:18 +02:00
kalmar	98cdeedc7a	make A_sqrt_Q_aug \pm \delta a matrix of Float64 intervals	2017-03-31 22:36:18 +02:00
kalmar	5aa16314ec	do not force @bigintervals when we use Floats64 in a moment	2017-03-31 22:35:30 +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	a180025dc0	log time of projecting A onto augmentation ideal	2017-03-31 15:21:45 +02:00
kalmar	9b07430b5e	type parametrised create_product_matrix (works with Nemo)	2017-03-26 16:22:51 +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	7796b0b028	finally fix for unbuffered output to solver-log	2017-03-22 13:24:17 +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	6fe0f9bda0	unredirect stderr	2017-03-20 22:12:10 +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	07877556db	update ValidatedNumerics to 0.8	2017-03-20 21:41:34 +01:00
kalmar	8ddb60a400	Shuffling of JuMP vars, constraints	2017-03-20 21:41:12 +01:00
kalmar	1368dfed5e	errors are redirected in SL.jl	2017-03-17 17:32:49 +01:00
kalmar	0abcf2a10d	report time of JuMP.solve	2017-03-17 16:32:20 +01:00
kalmar	e8d3201390	no need for const inside function	2017-03-17 16:27:01 +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	39ca5697c9	Finally logging solver output to separate file	2017-03-16 15:37:52 +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	d832050c63	even prettier printing	2017-03-16 14:29:11 +01:00
kalmar	17cd369f3f	better formatting for loggers	2017-03-16 14:27:24 +01:00
kalmar	ef1e33109d	better printing	2017-03-16 10:07:35 +01:00
kalmar	2bca1a7938	re-redirect stderr	2017-03-16 10:05:35 +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	59cea54757	flush log prior removal of handler/STDOUT redirection	2017-03-15 20:15:53 +01:00
kalmar	a16e14efe8	log timings via @timed	2017-03-15 20:13:53 +01:00
kalmar	b5608d473f	fancy format of logs in files, not in terminal	2017-03-15 18:41:59 +01:00
kalmar	33585437c1	fix: m -> SDP-problem	2017-03-15 18:16:53 +01:00
kalmar	bdf97be22c	printing	2017-03-15 17:56:01 +01:00
kalmar	120def0ef2	distance_to_cone does not accept keyword args anymore	2017-03-15 17:55:41 +01:00
kalmar	3d534ac489	warn(msg) -> warn(logger, msg)	2017-03-15 17:52:22 +01:00
kalmar	646a34866b	a trick to redirect SCS output to a file	2017-03-15 17:51:51 +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	12245ffd9a	empty line	2017-03-15 08:24:33 +01:00
kalmar	0924d24c03	finish changes of names	2017-03-15 08:23:42 +01:00
kalmar	b711615077	make type of result of algebra_square depend on sqrt_matrix	2017-03-14 23:36:59 +01:00
kalmar	f9fd7e63a7	multiple dispatch on distance_to_cone	2017-03-14 23:35:52 +01:00
kalmar	52a68e8429	tidy ValidatedNumerics and move functions	2017-03-14 23:34:47 +01:00
kalmar	5286880cda	Threads slowed constraints generation	2017-03-14 16:42:04 +01:00
kalmar	a328502773	Printing of messages	2017-03-14 16:40:53 +01:00
kalmar	dba02c87ac	compute SOS now is @parallel	2017-03-14 16:40:35 +01:00
kalmar	9ab11e295e	the final DeltaansSDP constr lives in Main	2017-03-14 16:39:14 +01:00
kalmar	e6f65688e9	Mv GroupAlgebras to a separate package	2017-03-14 16:38:28 +01:00
kalmar	989c51c1ef	mv Property(T).jl -> PropertyT.jl	2017-03-13 15:56:07 +01:00
kalmar	d6435c1d44	Bootstrap Julia Package	2017-03-13 14:49:55 +01:00