☰

TeX-Kapazität überschritten + Semantikpaket

tag-icon • tag-icon math-mode errors semantics
TeX-Kapazität überschritten + Semantikpaket

Ich erhalte die folgende Fehlermeldung:

! TeX capacity exceeded, sorry [input stack size=5000].
\do #1#2#3->\mathcode `#1
                     ="8000
l.14 ..._{1}\; a_{2} -> v_{2}}{a_{1} - a_{2} -> v}

!  ==> Fatal error occurred, no output PDF file produced!
Transcript written on samlet.log.
libpng warning: iCCP: known incorrect sRGB profile

Es passierte, nachdem ich begonnen hatte, das Semantikpaket zu verwenden:http://get-software.net/macros/latex/contrib/semantic/semantic.pdf

Das Dokument, das die Kompilierung verhindert, ist hier zu sehen: http://pastebin.com/ycJ6taKw

Wenn ich nur mit einem der Mathematikblöcke kompiliere, läuft die Kompilierung problemlos und ja, das Dokument ist die Eingabe für eine Master-TEX-Datei.

Antwort1

Das ist kaum minimal, hier ist ein relevanteres Minimalbeispiel (und ich werde mich erst gar nicht über die Struktur im Original beschweren):

Das Problem scheint -im zweiten Beispiel zu liegen. Vielleicht ein Problem mit der ->Syntax, obwohl ich im Handbuch (noch) nichts darüber gefunden habe.

\documentclass{report}
\usepackage{semantic}

\begin{document}

This works 
\[
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2} }{a_{1}+a_{2} ->
  v} \; Where\; v = v_{1} + v_{2}
\]

this does not
\[
\mathlig{-><-}{\rightarrow\leftarrow}
 \inference[Plus]{
   a_{1} -> v_{1}\; 
   a_{2} -> v_{2}
 }{
   a_{1} - a_{2} -> v
 }
 \; 
 Where
 \; 
 v = v_{1} -  v_{2}
\]
\end{document}

Update: Wenn Sie das entfernen, \mathlig{-><-}{\rightarrow\leftarrow}wird es tatsächlich einwandfrei kompiliert und ->der Pfeil wird immer noch angezeigt. Ich vermute also, dass da etwas Seltsames vor sich geht \mathlig.

verwandte Informationen