Skip to content

Commit

Permalink
Apply suggestion 'an' -> 'a'
Browse files Browse the repository at this point in the history
Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>
  • Loading branch information
henrikt-ma and eshmoylova committed May 11, 2021
1 parent ba7b3b8 commit cc615d5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chapters/functions.tex
Expand Up @@ -1679,7 +1679,7 @@ \section{Declaring Inverses of Functions}\label{declaring-inverses-of-functions}
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.
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, an violation will be detected by a nonlinear solver applied directly to the equation.
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]
y = cube(x);
Expand Down

0 comments on commit cc615d5

Please sign in to comment.