私が取り組んでいる LaTeX コードにバグがあり、推測に間違った番号が与えられます。以下に、問題を再現する短いコードを示します。コードが長すぎる場合はご容赦ください。以下に示すコードでは、推測が推測 2.0.1 ではなく、推測 2.0.2 として表示されるという問題が発生します。
\documentclass[12pt]{amsart}
\usepackage[alphabetic]{amsrefs}
\usepackage{amssymb,amsmath,amsthm,mathrsfs,ulem,tikz, caption}
\usepackage[alphabetic]{amsrefs}
\usepackage{amsmath,amssymb,amsthm,enumerate,tikz,graphicx}
%\usepackage{MnSymbol}
\usepackage[all,cmtip]{xy}
\usepackage[applemac]{inputenc}
\usepackage{color}
\textheight 20cm
\parindent 0pt
\parskip 7pt
\newtheorem{thm}{Theorem}[subsection]
\newtheorem{theorem}[thm]{Theorem}
\newtheorem{conj}[thm]{Conjecture}
\begin{document}
\title{Poincar\'e Series and Zeta functions}
\author{Anton Deitmar, Ming-Hsuan Kang, \& Rupert
M\MakeLowercase{c}Callum}
\date{}
\maketitle
\section{Gallery zeta functions}
\subsection{Zeta function of closed walks}
We summarize the above discussion as the following theorem.
\begin{theorem}
Let $\Gamma$ be a discrete cocompact subgroup of $G$ and $\pi$ be the
representation of the Hecke algebra $H(W,S)$
Then
\end{theorem}
\section{Alternating products of Poincar\'{e} series}
Note that one can generalize the definition of straight strips to higher
rank cases and study their stabilizers. We expect that there exists an
analogue of Theorem [blank] for the cases of higher rank. More precisely,
\begin{conj}
the following two identities holds.
\begin{enumerate}
\item $w_i$ is the generator of the stabilizer of some straight tube.
\item For any representation $\rho$ of $H_q(W,S)$,
there exists certain ordering of
such that their product under this ordering is equal to $W(\rho,u)$.
\end{enumerate}
\end{conj}
\end{document}
答え1
おそらく古い LaTeX カーネル (2015 以前) を使用しているのでしょう。この場合、 に関連付けられたカウンターは、が実行されsubsectionてもリセットされませんsection。バージョン 2015/01/01 以降の LaTeX ではリセットされます。
もちろん、アップグレードするのが一番です。そうでなければ、手動でリセットを追加する必要があります。
\usepackage{chngcntr}
そして、カウンタを定義した後、
\counterwithin*{thm}{section}
以下は、LaTeX カーネルの日付を調べ、リリース日が 2015 年より前であればパッチを適用し、それ以外の場合は何もしないコードです。
\documentclass[12pt]{amsart}
\newtheorem{thm}{Theorem}[subsection]
\newtheorem{theorem}[thm]{Theorem}
\newtheorem{conj}[thm]{Conjecture}
%%% Patching code
\begingroup\makeatletter
\def\eky#1/#2/#3#4{%
#1
\expandafter\endgroup\expandafter\@firstofone
\else
\expandafter\endgroup\expandafter\@gobble
\fi
}
\ifnum2015>\expandafter\eky\fmtversion
{
\usepackage{chngcntr}
\counterwithin*{thm}{section}
% add also other counters depending on subsection
}
%%% end of patching code
\begin{document}
\section{Gallery zeta functions}
\subsection{Zeta function of closed walks}
Some text
\begin{theorem}
A theorem
\end{theorem}
\section{Alternating products of Poincar\'{e} series}
Some text
\begin{conj}
A conjecture
\end{conj}
\end{document}
