From a8cf83402d80728913dcac6fc2a63beec731cb9b Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Fri, 21 Apr 2017 00:17:50 -0700 Subject: [PATCH] drop simplification in smooth robustness --- stl/smooth_robustness.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stl/smooth_robustness.py b/stl/smooth_robustness.py index dd7eed8..881fa71 100644 --- a/stl/smooth_robustness.py +++ b/stl/smooth_robustness.py @@ -68,7 +68,7 @@ def smooth_robustness(phi, *, L=None, eps=None): else: B = p.B - return sym.log(lo, B).simplify(), sym.log(hi, B).simplify() + return sym.log(lo, B), sym.log(hi, B) # Alpha implementation