From f1d0ff9c146133c98c08ba759e2cf9a08bbdc372 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Sat, 24 Nov 2018 13:59:32 +0100 Subject: [PATCH] \lambda = 50.0 got certified! --- positivity/check_positivity.jl | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/positivity/check_positivity.jl b/positivity/check_positivity.jl index d24c04a..5c4d69a 100644 --- a/positivity/check_positivity.jl +++ b/positivity/check_positivity.jl @@ -123,11 +123,9 @@ else end end; - - orbit_data = PropertyT.decimate(orbit_data); -elt = adj+3op; +elt = adj+2op; const SOLUTION_FILE = PropertyT.filename(sett, :solution)