1: \begin{definition}

2: The \emph{partial evaluation problem} is a decision problem that

3: takes as input:

4: \begin{itemize}

5: \item

6: an input-sized expression $(\scm,e,\sigma)$, where all functions

7: used in pointwise applications are explicitly defined using

8: existential formulas over the reals;

9: \item

10: an existential formula $\chi$ with free variables in

11: $\FV(\scm,e,\sigma)$ (see

12: Theorem~\ref{existsrtheorem}).

13: \end{itemize}

14: The problem asks if there

15: exists an instance $I$ conforming to $\scm$ by $\sigma$ and a matrix

16: $B \in e(I)$ such that $(I,B)$ satisfies $\chi$.

17: \end{definition}

18: