Commit 08f07221 authored by Michael Kohlhase's avatar Michael Kohlhase

errorfixing

parent 55c16ce6
\begin{modsig}[creators=miko]{Minkowski-distance}
\gimport{pnorm}
\gimport{norm-induced-metric}
\symdef{MinkowskiDistOp}[1]{d_{#1}}
\symdef{MinkowskiDist}[3]{\prefix{\MinkowskiDistOp{#1}}{#2,#3}}
\symdef[name=Minkowski-distance]{MinkowskiDistOp}[1]{d_{#1}}
\symdef[name=Minkowski-distance]{MinkowskiDist}[3]{\prefix{\MinkowskiDistOp{#1}}{#2,#3}}
\symtest{MinkowskiDist}{\MinkowskiDist{p}xy}
\symii{Manhattan}{distance}
\symii{Euclidean}{distance}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
......@@ -4,7 +4,7 @@
$\fundefeq{x}{\maxnorm{x}}{\maxover{i}{\realabsval{x_i}}}$ die
\defi[name=maximum-norm]{Maximumsnorm} (oder \defi[name=maximum-norm]{Tschebyschew-Norm}).
Es gilt $\limfun{p}{\infinity}{\pnorm{p}x}=\maxnorm{x}$, daher nennen wir die
\mtrefii[?maximum-norm]{Maximumsnorm} auch \defi[name=maximum-norm]{$\ell_\infty$-Norm} oder
\mtrefi[?maximum-norm]{Maximumsnorm} auch \defi[name=maximum-norm]{$\ell_\infty$-Norm} oder
\defi[name=maximum-norm]{$L^\infty$-Norm}.
\end{definition}
\end{mhmodnl}
......
\begin{modsig}[creators=miko]{maxnorm}
\guse{pnorm}
\gimport[smglom/arithmetics]{minmax}
\symdef{maxnorm}[1]{\left\|#1\right\|_\infty}
\symdef[name=maximum-norm]{maxnorm}[1]{\left\|#1\right\|_\infty}
\symtest{maxnorm}{\maxnorm{x}}
\end{modsig}
%%% Local Variables:
......
......@@ -12,7 +12,7 @@
\end{definition}
\begin{definition}
Die \mtrefi[?pnorm]{2-Norm} hei"st auch \defii{Euklidsche}{Norm} oder
Die \mtrefi[?pnorm]{2-Norm} hei"st auch \defii[name=Euclidean-norm]{Euklidsche}{Norm} oder
\defii[name=Euclidean-norm]{Euklidsche}{L"ange}.
\end{definition}
\end{mhmodnl}
......
......@@ -5,6 +5,8 @@
\gimport[smglom/arithmetics]{sum}
\symdef{pnorm}[2]{\left\|#2\right\|_{#1}}
\symtest{pnorm}{\pnorm{p}x}
\symii{taxicab}{norm}
\symii{Euclidean}{norm}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment