Commit 31917205 authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent 64a0d1e4
......@@ -7,7 +7,7 @@
\gimport[smglom/sets]{functions}
\symdef[name=norm]{anormOp}{|\cdot|}
\symvariant{anormOp}{double}{\Vert\cdot\Vert}
\symdef{anorm}[1]{\mixfixi[nobrackets]{|}{#1}{|}}
\symdef[name=norm]{anorm}[1]{\mixfixi[nobrackets]{|}{#1}{|}}
\symtest{anorm}{\anorm{A}}
\symvariant{anorm}[1]{double}{\mixfixi[nobrackets]{\Vert}{#1}{\Vert}}
\symtest[variant=double]{anorm}{\anorm[double]{A}}
......
......@@ -2,8 +2,7 @@
\gimport[smglom/calculus]{metric-induced-topology}
\gimport{norm-induced-metric}
\gimport{topological-vectorspace}
\symi{metrizable}
\symi{normable}
\symi{normable}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
......@@ -6,7 +6,7 @@
\mtrefi[vector-space?base-set]{Grundmenge} $V$ eines
\mtrefi[vector-space?vector-space]{Vektorraums}
\mtrefi[vector-space?vector-addition]{Vektoraddition} $\vaddOp$
\defi[name=invariant]{translationsinvariant}, wenn
\defi[name=translation-invariant]{translationsinvariant}, wenn
$\ametric{v}w=\ametric{\vadd{a,v}}{\vadd{a,w}}$ f"ur alle $\minset{a,v,w}V$.
\end{definition}
\end{mhmodnl}
......
\begin{modsig}[creators=miko]{translation-invariant-metric}
\gimport[smglom/calculus]{metric-space}
\gimport[smglom/linear-algebra]{transscale}
\symi{invariant}
\symii{translation}{invariant}
\end{modsig}
%%% Local Variables:
......
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