Commit 62c50a29 authored by Michael Kohlhase's avatar Michael Kohlhase

renaming_arithmetics

parent f819ddb2
id: MiKoMH/KWARC
source-base: http://mathhub.info/MiKoMH/KWARC
narration-base: http://mathhub.info/MiKoMH/KWARC
dependencies: MiKoMH/TDM,MiKoMH/talks,MiKoMH/GenCS,smglom/numberfields
dependencies: MiKoMH/TDM,MiKoMH/talks,MiKoMH/GenCS,smglom/arithmetics
no-omdoc:.*/tikz/.*
......@@ -8,7 +8,7 @@
\end{axiom}
\begin{example}
\guse[smglom/numberfields]{numbers-orders}
\guse[smglom/arithmetics]{numbers-orders}
The multirelation
$\multirelation{a,\lethanFN,b,\eqFN,c,\lessthanFN,d}$ is an aggregation of three
equations: $\lethan{a}b$, $\eq{b,c}$, and $\lessthan{c}d$.
......
\begin{module}[id=numbersets]
\gimport[smglom/numberfields]{naturalnumbers}
\gimport[smglom/numberfields]{integernumbers}
\gimport[smglom/numberfields]{rationalnumbers}
\gimport[smglom/numberfields]{realnumbers}
\gimport[smglom/numberfields]{complexnumbers}
\gimport[smglom/arithmetics]{naturalnumbers}
\gimport[smglom/arithmetics]{integernumbers}
\gimport[smglom/arithmetics]{rationalnumbers}
\gimport[smglom/arithmetics]{realnumbers}
\gimport[smglom/arithmetics]{complexnumbers}
\end{module}
%%% 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