run lmh symbols
If you go to http://mathhub.info/mh/common-errors you see the error message:
get error: backend: Cannot find resource http://mathhub.info/smglom/smglom/legendresymbol.omdoc?legendresymbol: no applicable backend available
mmt_comp compiler, 8 occurrences, Show All
this shows that there is a problem. This is a very typical case, so let me detail the problems and see what has to be done.
The file legendresymbol.tex
is
\begin{modsig}[creators=jusche]{legendresymbol}
\gimport[smglom/numberfields]{congruence}
\gimport[smglom/mv]{piecewise}
\gimport[smglom/primes]{primenumber}
\symdef{legendresymb}[2]{\left(\frac{#1}{#2}\right)}
\symtest{legendresymb}{\legendresymb{3}{5}=-1}
\symi{legendre-symbol}
\end{modsig}
I have seen that J"urgen has cleaned up names and defis all over the place, and that is very good. But there is more to do.
We have a good lmh tool to help with this: lmh symbols
.
I ran
lmh symbols legendresymbol.tex
and got the feedback
Adding 1 symbol definition(s) from /Users/kohlhase/localmh/MathHub/smglom/smglom/source/legendresymbol.de.tex
/Users/kohlhase/localmh/MathHub/smglom/smglom/source/legendresymbol.tex, Symbol legendre-symbol: Found both symdef and symi.
and indeed, it added the following line to legendresymbol.tex
\symii{Legendre}{symbol}
This already shows us what happened: J"urgen's renaming was incomplete (see also #6). Here are the details:
In legendresymbol.en.tex
, we find
The \defii{Legendre}{symbol} is a function of an odd \trefii[primenumber]{prime}{number}
(which gives rise to the new symbol) and in legendresymbol.de.tex
we find
Das \defi[legendre-symbol]{Legendre-Symbol} ist eine Funktion einer ungeraden \mtrefi[primenumber?prime-number]{Primzahl}
which gives rise to the \symi
we found.
We have to clean up the situation by capitalizing the symbol name in legendresymbol.de.tex
and delete the line
\symi{legendre-symbol}
in the file legendresymbol.tex
(so that there is only one symbol and the English and German definitions are synchronized).
But there are two more problems: the notation is not synchronized to the symbol: in legendresymbol.tex
we find the line
\symdef{legendresymb}[2]{\left(\frac{#1}{#2}\right)}
which has to be synchronized with the \symi
, so we change it to
\symdef[name=Legendre-symbol]{legendresymb}[2]{\left(\frac{#1}{#2}\right)}
Finally, we have to change the references to this symbol, so that the errors I mentioned at the start of this issue do not occur any more. So we have to change
\trefi[legendresymbol]{legendresymbol}
to
\trefii[legendresymbol]{Legendre-symbol}
I have assigned this issue to @jschefter, since smglom is his repos, but he should coordinate with @tluecke who still has some hours left over from his summer internship.