Commit 26191fbe authored by Michael Kohlhase's avatar Michael Kohlhase

debug

parent c5e30f4f
\begin{mhmodnl}[creators=jusche]{sparseantimagicsquare}{en}
\begin{definition}
A \defiii{sparse}{antimagic}{square} of order $n$ is an arrangement of the
\mtrefi[integernumbers?integer]{numbers} $1$ to $m$ ($\natlessthan{m{\power{n}2}$) and
zeros in a square, such that the sums of the rows and the sums of the columns form a
\trefi[sequences]{sequence} of consecutive \trefis[integernumbers]{integer}.
\mtrefi[integernumbers?integer]{numbers} $1$ to $m$ ($\natlessthan{m}{\natpower{n}2}$)
and zeros in a square, such that the sums of the rows and the sums of the columns form a
\trefi[sequences]{sequence} of consecutive \trefis[integernumbers]{integer}.
\end{definition}
\end{mhmodnl}
\begin{modsig}[creators=jusche]{sparseantimagicsquare}
\gimport[smglom/arithmetics]{integernumbers}
\gimport[smglom/calculus]{sequences}
\gimport[smglom/arithmetics]{arithmetics}
\gimport[smglom/arithmetics]{natarith}
\symiii{sparse}{antimagic}{square}
\end{modsig}
\begin{modsig}[creators=jusche]{sparsetotallyantimagicsquare}
\gimport[smglom/arithmetics]{integernumbers}
\gimport[smglom/calculus]{sequences}
\gimport[smglom/arithmetics]{arithmetics}
\gimport[smglom/arithmetics]{natarith}
\symii{sta}{square}
\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