我正在编写的某些 LaTeX 代码中有一个错误，它给出了错误的猜想数字。下面是一小段重现该问题的代码，如果代码有点太长，请见谅。在我下面给出的代码中，问题的形式是猜想显示为猜想 2.0.2，而不是猜想 2.0.1。
\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时不会重置。对于 2015/01/01 版的 LaTeX，它们会重置。section
当然，最好的办法是升级。否则，你必须手动添加重置，比如
\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}
