Commit 64a0d1e4 authored by Michael Kohlhase's avatar Michael Kohlhase

debug

parent 616da382
......@@ -2,7 +2,7 @@
\gimport[smglom/topology]{euclideanspace}
\gimport[smglom/arithmetics]{realarith}
\gimport[smglom/arithmetics]{sum}
\symdef{euclideannorm}[1]{\left|#1\right|}
\symdef[name=Euclidean-norm]{euclideannorm}[1]{\left|#1\right|}
\symtest{euclideannorm}{\euclideannorm{v}}
\end{modsig}
%%% Local Variables:
......
......@@ -13,6 +13,7 @@
(\defii{positive}{definiteness}),
\end{enumerate}
then $\mvstructure{V,\innerproductOp}$ is called an \defiii{inner}{product}{space}
and $\innerproductOp$ its \defii{inner}{product}.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
......@@ -4,6 +4,9 @@
\symdef[name=inner-product]{innerproduct}[2]{\mixfixii[nobrackets]\langle{#1},{#2}\rangle}
\symdef[name=inner-product]{innerproductOp}{\innerproduct\cdot\cdot}
\symtest{innerproduct}{\innerproduct{x}y}
\symiii{inner}{product}{space}
\symii{conjugate}{symmetry}
\symii{positive}{definiteness}
\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