summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorLuigi Scarso <luigi.scarso@gmail.com>2024-02-21 09:36:51 +0000
committerLuigi Scarso <luigi.scarso@gmail.com>2024-02-21 09:36:51 +0000
commita10aefb86bd3e1c6165718597111cf1aa40450ca (patch)
tree324b4ad95ea979a03c3d94c0f311aca2115eeb03 /Master
parent2765296a2c3257ff58e042028ae149dcc0d94758 (diff)
Fixed manual for interval arithmetic (thanks to Pétiard François)
git-svn-id: svn://tug.org/texlive/trunk@70041 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/metapost/base/mpman.pdfbin980215 -> 980242 bytes
-rw-r--r--Master/texmf-dist/doc/metapost/base/source-manual/mpman-app-numbersystems.tex2
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/metapost/base/mpman.pdf b/Master/texmf-dist/doc/metapost/base/mpman.pdf
index bc120307d6f..ab3fd080469 100644
--- a/Master/texmf-dist/doc/metapost/base/mpman.pdf
+++ b/Master/texmf-dist/doc/metapost/base/mpman.pdf
Binary files 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,