☰

Превышена емкость TeX + Пакет семантики

tag-icon • tag-icon math-mode errors semantics
Превышена емкость TeX + Пакет семантики

Я получаю следующую ошибку:

! 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

Это произошло после того, как я начал использовать пакет семантики:http://get-software.net/macros/latex/contrib/semantic/semantic.pdf

Документ, который не позволяет его компилировать, можно увидеть здесь: http://pastebin.com/ycJ6taKw

Если я скомпилирую только один из математических блоков, то он скомпилируется нормально, и да, документ является входными данными для главного .tex-файла.

решение1

Это вряд ли минимально, вот более релевантный минимальный пример (и я даже не буду начинать жаловаться на структуру в оригинале)

Проблема, похоже, исходит из -во втором примере. Возможно, проблема в ->синтаксисе, хотя я (пока) ничего об этом не нашел в руководстве.

\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}

Обновление: На самом деле, если вы удалите его, \mathlig{-><-}{\rightarrow\leftarrow}он отлично компилируется, и ->все равно дает стрелку. Так что я предполагаю, что в \mathlig.

Связанный контент