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)