Eu tenho um bug em algum código LaTeX no qual estou trabalhando, por meio do qual ele fornece um número errado para uma conjectura. Aqui está um pequeno trecho de código que reproduz o problema. Desculpe se o código for um pouco longo demais. No código que forneço abaixo, a forma que o problema assume é que a conjectura aparece como Conjectura 2.0.2 em vez de Conjectura 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}
Responder1
Você provavelmente está usando um kernel LaTeX mais antigo (anterior a 2015). Neste caso os contadores associados subsectionnão zeram quando sectioné pisado. Eles fazem isso com o LaTeX da versão 2015/01/01.
O melhor é atualizar, claro. Caso contrário, você terá que adicionar a redefinição manualmente, digamos com
\usepackage{chngcntr}
e então, após a definição do contador, adicionar
\counterwithin*{thm}{section}
Aqui está o código que examina a data do kernel LaTeX e faz o patch se a data de lançamento for anterior a 2015; não faz nada de outra forma.
\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}
