From a10aefb86bd3e1c6165718597111cf1aa40450ca Mon Sep 17 00:00:00 2001 From: Luigi Scarso Date: Wed, 21 Feb 2024 09:36:51 +0000 Subject: Fixed manual for interval arithmetic (thanks to Pétiard François) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn://tug.org/texlive/trunk@70041 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/metapost/base/mpman.pdf | Bin 980215 -> 980242 bytes .../base/source-manual/mpman-app-numbersystems.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) (limited to 'Master') diff --git a/Master/texmf-dist/doc/metapost/base/mpman.pdf b/Master/texmf-dist/doc/metapost/base/mpman.pdf index bc120307d6f..ab3fd080469 100644 Binary files a/Master/texmf-dist/doc/metapost/base/mpman.pdf and b/Master/texmf-dist/doc/metapost/base/mpman.pdf differ diff --git a/Master/texmf-dist/doc/metapost/base/source-manual/mpman-app-numbersystems.tex b/Master/texmf-dist/doc/metapost/base/source-manual/mpman-app-numbersystems.tex index 90aeffa989f..d3d1c2dc1f0 100644 --- a/Master/texmf-dist/doc/metapost/base/source-manual/mpman-app-numbersystems.tex +++ b/Master/texmf-dist/doc/metapost/base/source-manual/mpman-app-numbersystems.tex @@ -68,7 +68,7 @@ and the right extrema \begin{center}\index{interval\_get\_right\_endpoint?\texttt{interval\_get\_right\_endpoint}}\label{Dintervalright}\texttt{r := interval\_get\_right\_endpoint(}\textit{interval}\texttt{);}\end{center} and it's always $l\leq r$\,; a number \texttt{x} is always seen as the interval \texttt{[x,x]}, i.e. a set with one element. At first glance, interval arithmetic can be confusing: if $w$ is an interval, -$w*w$ is the set $\left\{ x*x: x\in w\right\}$, but $f(w)=w^2$ is the set $\left\{f(x): x\in w\right\} = \left\{x^2: x\in w\right\}$: +$w*w$ is the set $\left\{ x*y: x\in w, y\in w\right\}$, but $f(w)=w^2$ is the set $\left\{f(x): x\in w\right\} = \left\{x^2: x\in w\right\}$: if $w=[-1,1]$ then $w*w=[-1,1]$ and $w^2=[0,1]$. On the other hand, it's easy to verify that $w*w*w = w^3$ always. For this reason, given that currently the implementation of the MetaPost functions in MPFI mimics those of MPFR and they are not adapted to the interval arithmetic, -- cgit v1.2.3