From b040a6c42512f74b757497680ae0814759155e7c Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 10 Oct 2016 22:19:46 -0700 Subject: [PATCH] interpolate in boolean eval --- boolean_eval.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/boolean_eval.py b/boolean_eval.py index fbbe51e..40f39be 100644 --- a/boolean_eval.py +++ b/boolean_eval.py @@ -4,6 +4,7 @@ from functools import singledispatch import operator as op +import numpy as np from lenses import lens import stl.ast @@ -63,4 +64,5 @@ def eval_terms(lineq, x, t): def eval_term(x, t): - return lambda term: term.coeff*x[term.id.name][t] + # TODO(lift interpolation much higher) + return lambda term: term.coeff*np.interp(t, x.index, x[term.id.name])