Commit b86db3d0 authored by Michael Kohlhase's avatar Michael Kohlhase

now called grid

parent 2216ae0e
......@@ -9,7 +9,7 @@
of two \term{circles} It is a \trefi[compact]{compact} 2-manifold.
It is also the \trefi[quotientspace]{quotient} $\ComplexNumbers/L$ of the
\trefii[complexnumbers]{complex}{plane} by a \trefi[lattice]{lattice} $L$ with the
\trefii[complexnumbers]{complex}{plane} by a \trefi[grid]{grid} $L$ with the
identification such that given $\minset{\omega_1,\omega_2}\ComplexNumbers$,
$\forall z \in \ComplexNumbers$, $z \tilde z + m \omega_1 + n \omega_2$, where
$\minset{m,n}\NaturalNumbers$.
......
......@@ -4,7 +4,7 @@
\gimport[smglom/topology]{homeomorphism}
\gimport[smglom/topology]{compact}
\gimport[smglom/arithmetics]{complexnumbers}
\gimport{lattice}
\gimport[smglom/linear-algebra]{grid}
\gimport[ODK/math]{elliptic-curve}
\symi{torus}
\end{modsig}
......
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