Commit 7027c0cf authored by Michael Kohlhase's avatar Michael Kohlhase

renaming_arithmetics

parent 59de9906
id: smglom/chevahir
source-base: http://mathhub.info/smglom/chevahir
narration-base: http://mathhub.info/smglom/chevahir
dependencies: smglom/algebra,smglom/linear-algebra,smglom/mv,smglom/numberfields,smglom/numthy,smglom/sets,smglom/topology,smglom/calculus,smglom/graphs,smglom/numbers,smglom/manifolds,ODK/math
dependencies: smglom/algebra,smglom/linear-algebra,smglom/mv,smglom/arithmetics,smglom/numthy,smglom/sets,smglom/topology,smglom/calculus,smglom/graphs,smglom/numbers,smglom/manifolds,ODK/math
\begin{modsig}[creators=cdemirkiran,contributors=miko]{cantorCardinality}
\gimport[smglom/numberfields]{naturalnumbers}
\gimport[smglom/arithmetics]{naturalnumbers}
\gimport[smglom/sets]{finite-cardinality}
\symdef[name=cantorCard]{cantorCardOp}{\aleph}
\symdef{cantorCard}[1]{\cantorCardOp_{#1}}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{coxetergroup}
\gimport[smglom/algebra]{group}
\gimport{coxetermatrix}
\gimport[smglom/numberfields]{naturalnumbers}
\gimport[smglom/arithmetics]{naturalnumbers}
\symii{coxeter}{group}
\end{modsig}
%%% Local Variables:
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{euleriannumber}
\gimport[smglom/numberfields]{sum}
\gimport[smglom/arithmetics]{sum}
\gimport[smglom/numthy]{binomialcoefficient}
\symdef[name=Eulerian-number]{euleriannumber}[2]{\scriptstyle \left\langle {n \atop m} \right\rangle}
\symvariant{euleriannumber}[2]{atype}{\prefix{A}{#1,#2}}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{euleriannumbersecondkind}
\gimport[smglom/numberfields]{factorial}
\gimport[smglom/arithmetics]{factorial}
\symdef{euleriannumbersecondkind}[2]{\left\langle \!\! \left\langle {#1 \atop #2} \right\rangle \!\! \right\rangle}
\symtest{euleriannumbersecondkind}{\euleriannumbersecondkind{n}{k}}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{firstzagrebindex}
\gimport[smglom/numberfields]{sum}
\gimport[smglom/arithmetics]{sum}
\symdef{firstzagrebindex}{M_1}
\symii{First}{Zagreb}
......
\begin{modsig}[creators=jusche]{halfcompanionpell}
\gimport[smglom/numberfields]{arithmetics}
\gimport[smglom/arithmetics]{arithmetics}
\gimport[smglom/linear-algebra]{matrix}
\gimport[smglom/numbers]{pelllucasnumbers}
\gimport[smglom/numbers]{pellnumbers}
......
......@@ -6,7 +6,7 @@
\end{definition}
\begin{omtext}[type=elaboration,for=lattice.def]
\guse[smglom/numberfields]{realnumbers} A \trefi[lattice]{lattice} is a
\guse[smglom/arithmetics]{realnumbers} A \trefi[lattice]{lattice} is a
\trefi[subgroup]{subgroup} of $\ndim\RealNumbers{n}$. It is also a
\trefi[module]{module} over $\IntegerNumbers$
\end{omtext}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{lattice}
\gimport{module}
\gimport[smglom/algebra]{subgroup}
\gimport[smglom/numberfields]{realnumbers}
\gimport[smglom/arithmetics]{realnumbers}
\gimport[smglom/sets]{cartesian-space}
\symi{lattice}
\end{modsig}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{pole}
\gimport[smglom/sets]{functions}
\gimport[smglom/numberfields]{complexnumbers}
\gimport[smglom/arithmetics]{complexnumbers}
\gimport{analyticfunction}
\gimport[smglom/numberfields]{naturalnumbers}
\gimport[smglom/arithmetics]{naturalnumbers}
\gimport[smglom/topology]{open-set-topology}
\gimport[smglom/sets]{setdiff}
\symi{pole}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{region}
\gimport[smglom/topology]{open-set-topology}
\gimport[smglom/sets]{subsupset}
\gimport[smglom/numberfields]{complexnumbers}
\gimport[smglom/arithmetics]{complexnumbers}
\gimport[smglom/sets]{cartesian-space}
\symi{region}
\end{modsig}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{secondzagrebindex}
\gimport[smglom/graphs]{graph}
\gimport[smglom/numberfields]{sum}
\gimport[smglom/arithmetics]{sum}
\symdef{secondzagrebindex}{M_2}
\symiii{Second}{}{}
\end{modsig}
......
......@@ -3,7 +3,7 @@
\gimport[smglom/sets]{cartesian-product}
\gimport[smglom/topology]{homeomorphism}
\gimport[smglom/topology]{compact}
\gimport[smglom/numberfields]{complexnumbers}
\gimport[smglom/arithmetics]{complexnumbers}
\gimport{lattice}
\gimport[ODK/math]{elliptic-curve}
\symi{torus}
......
\begin{modsig}[creators=cdemirkiran,contributors=miko]{tuttlepolynomial}
\gimport[smglom/mv]{structure}
\gimport[smglom/numberfields]{sum}
\gimport[smglom/arithmetics]{sum}
\gimport[smglom/sets]{finite-cardinality}
\symdef{tuttepolynomial}[3]{T_{#1}(#2,#3)}
\symii{Tutte}{polynomial}
......
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