diff --git a/chapters/functions.tex b/chapters/functions.tex index a557cfe06..7fbc5dd78 100644 --- a/chapters/functions.tex +++ b/chapters/functions.tex @@ -1644,7 +1644,7 @@ \subsection{Using the Inverse Annotation}\label{using-the-inverse-annotation} annotation(experiment(StopTime = 10.0)); end NotSurjective; \end{lstlisting} -As the value of {\lstinline!x!} varies over the interval $[-1,\, 1]$, but the range of {\lstinline!cbrtPos!} is only $(0, \infty)$, the informal codomain of {\lstinline!cbrtPos!} cannot be restricted such that the surjectiveness is fulfilled. +As the value of {\lstinline!x!} varies over the interval $[-0.5,\, 1.5]$, but the range of {\lstinline!cbrtPos!} is only $(0, \infty)$, the informal codomain of {\lstinline!cbrtPos!} cannot be restricted such that the surjectiveness is fulfilled. A valid solution to the equation in {\lstinline!x!} and {\lstinline!y!} must satisfy $\text{{\lstinline!y!}} > 0$, and when no {\lstinline!inverse!} annotation is given, a violation will be detected by a nonlinear solver applied directly to the equation. When the (invalid) inverse provided by the {\lstinline!inverse!} annotation is used, however, the equation gets transformed into \begin{lstlisting}[language=modelica]