Tengo un error en algún código LaTeX en el que estoy trabajando por el cual le da a una conjetura un número incorrecto. Aquí hay un breve fragmento de código que reproduce el problema; lo siento si el código es demasiado largo. En el código que proporciono a continuación, la forma que adopta el problema es que la conjetura aparece como Conjetura 2.0.2 en lugar de Conjetura 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}
Respuesta1
Probablemente estés usando un kernel LaTeX más antiguo (anterior a 2015). En este caso los contadores asociados a subsectionno se reinician cuando sectionse pisa. Lo hacen con LaTeX a partir de la versión 01/01/2015.
Lo mejor es actualizar, por supuesto. De lo contrario, tendrá que agregar el reinicio a mano, digamos con
\usepackage{chngcntr}
y luego, después de definir el contador, agregar
\counterwithin*{thm}{section}
Aquí hay un código que examina la fecha del kernel de LaTeX y realiza el parche si su fecha de lanzamiento es anterior a 2015; no hace nada de otra manera.
\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}
