Нумерация теоремы в ЛАТЕКСЕ
Ну, я предполагаю, что это означает, что это говорит о том, что шаблон не соответствует, но нет альтернативы. Этот пример:
Но для программы:
g x = let Just y = f x in h yGHC сообщает:
Main: M1.hs:9:11-22: Irrefutable pattern failed for pattern Data.Maybe.Just yУказывает источник сбоя.
Происходит от http://www.haskell.org/haskellwiki/Debugging
Суть примера в том, что если f x возвращает Nothing, тогда GHC не может присвоить значение y.
4 ответа
Включение следующего кода в преамбулу, похоже, дает желаемый эффект:
\usepackage{amsthm}
\newtheorem{thm}{Theorem}[subsection]
\renewcommand{\thethm}{\arabic{subsection}.\arabic{thm}}
Я не понимаю, почему вам нужна именно эта система нумерации теорем, но код делает то, что вы хотите:
Нет простого способа сделать это. Пакет теорем AMS обеспечивает только способ управления сбросом нумерации (раздел, подраздел), если он привязан к другим условиям (следствие, лемма) и порядку номеров («Теорема 1.1» против «Теорема 1.1»
Теоремы получают свою нумерацию с помощью команды \ section или \ thesubsection . Вы можете переопределить команду \ thesubsection , чтобы получить желаемую нумерацию, но это также повлияет на все остальное , использующее \ thesubsection .
Вставьте эту строку в преамбулу (или где-нибудь еще перед оператором \ newtheorem):
\renewcommand{\thesubsection}{\arabic{subsection}}
Это сбросит команду нумерации среды thm, чтобы игнорировать номера разделов (при нумерации теорем) и отображать только номера подразделов и номера теорем. Номера разделов по-прежнему будут отображаться перед заголовками разделов, но не теоремы, включенные в разделы. Итак, как вы описываете, первая теорема во втором подразделе первого раздела будет иметь номер 2.1. Альтернативы \ arabic включают:
- \ Roman - производит заглавные римские числа, например II.1
- \ roman - производит римские числа в нижнем регистре, например ii.1
- \ Alph - производит заглавные буквы, например, B.1
- \ alph - выдает строчные буквы, например b.1