3 Commits

Author	SHA1	Message	Date
kalmarek	f1d0ff9c14	\lambda = 50.0 got certified!	2018-11-24 13:59:32 +01:00
kalmarek	8666cc6b2c	last minute functional changes	2018-11-24 13:58:49 +01:00
kalmarek	bf8fc67bb4	update check_positivity	2018-11-17 22:42:42 +01:00