问题

Question 1

我有一个解决方案。然而，这可能不是最优雅的方法。

您必须为 hyperref 定义自己的编号方案，以便每个编号都是唯一的：

\listfiles
\documentclass{book}

\usepackage{amsmath}
\usepackage{hyperref}
\usepackage{cleveref}

%%% define a new counter and use it for \theHequation which hyperref uses for the links
\newcounter{Hequation}
\renewcommand{\theHequation}{\thechapter.\arabic{Hequation}}
\makeatletter
\g@addto@macro\equation{\stepcounter{Hequation}}
\makeatother

\begin{document}
\begin{equation}\tag{first}\label{eq:first}
   \text{First equation}
\end{equation}

\begin{equation}\tag{second}\label{eq:second}
   \text{Second equation}
\end{equation}

\begin{equation}\label{eq:firstreal}
   \text{First equation without tag}
\end{equation}

\begin{equation}\tag{third}\label{eq:third}
   \text{Third equation}
\end{equation}

\begin{equation}\label{eq:secondreal}
   \text{Second equation without tag}
\end{equation}

\begin{itemize}
   \item A reference to~\eqref{eq:first}.
   \item A reference to~\eqref{eq:second}.
   \item A reference to~\eqref{eq:third}.
   \item A reference to~\eqref{eq:firstreal}.
   \item A reference to~\eqref{eq:secondreal}.
\end{itemize}

\newpage

For scrolling purposes.

\end{document}

如您所见，\equation也必须重新定义。然后带有和不带有的方程式\tag就可以毫无问题地混合在一起。

马丁

Answer

我有一个解决方案。然而，这可能不是最优雅的方法。

您必须为 hyperref 定义自己的编号方案，以便每个编号都是唯一的：

\listfiles
\documentclass{book}

\usepackage{amsmath}
\usepackage{hyperref}
\usepackage{cleveref}

%%% define a new counter and use it for \theHequation which hyperref uses for the links
\newcounter{Hequation}
\renewcommand{\theHequation}{\thechapter.\arabic{Hequation}}
\makeatletter
\g@addto@macro\equation{\stepcounter{Hequation}}
\makeatother

\begin{document}
\begin{equation}\tag{first}\label{eq:first}
   \text{First equation}
\end{equation}

\begin{equation}\tag{second}\label{eq:second}
   \text{Second equation}
\end{equation}

\begin{equation}\label{eq:firstreal}
   \text{First equation without tag}
\end{equation}

\begin{equation}\tag{third}\label{eq:third}
   \text{Third equation}
\end{equation}

\begin{equation}\label{eq:secondreal}
   \text{Second equation without tag}
\end{equation}

\begin{itemize}
   \item A reference to~\eqref{eq:first}.
   \item A reference to~\eqref{eq:second}.
   \item A reference to~\eqref{eq:third}.
   \item A reference to~\eqref{eq:firstreal}.
   \item A reference to~\eqref{eq:secondreal}.
\end{itemize}

\newpage

For scrolling purposes.

\end{document}

如您所见，\equation也必须重新定义。然后带有和不带有的方程式\tag就可以毫无问题地混合在一起。

马丁

Question 2

正确使用\tagwithhyperref和的方法amsmath是使用未编号的带星号的数学环境。然后，它们不会增加方程计数器，这会根据新的计数器值隐式定义一个锚点，而只会\tag再次减少计数器（它对已经定义的锚点无能为力，但如果有必要，可以使用选项hypertexnames=false来hyperref部分缓解这种情况）。

hyperref即使有上述情况，cleveref和之间也存在不兼容问题amsmath。正如 Martin 所指出的，问题在于cleveref直接实现amsmath宏并对其进行更改，从而忽略了hyperref的工作。一种选择是进一步修补提供的宏，amsmath以整合hyperref的增强功能和cleveref的附加功能，我已在以下方面进行了此操作：

\documentclass{article}

\usepackage{amsmath}
\usepackage{hyperref}
\usepackage{cleveref}

\makeatletter

  \def\make@df@tag@@#1{%
    \gdef\df@tag{%
      \maketag@@@{\Hy@make@anchor#1}%
      \def\@currentlabel{#1}%
      \def\cref@currentlabel{[equation][2147483647][]#1}%
    }%
  }
  \def\make@df@tag@@@#1{%
    \gdef\df@tag{%
      \tagform@{\Hy@make@anchor#1}%
      \toks@\@xp{\p@equation{#1}}%
      \edef\@currentlabel{\the\toks@}%
      \edef\cref@currentlabel{[equation][2147483647][]\the\toks@}
    }%
  }
\makeatother

\begin{document}

\begin{equation*}\label{eq:first}\tag{first}
  \text{First equation}
\end{equation*}

\begin{equation*}\label{eq:second}\tag{second}
  \text{Second equation}
\end{equation*}

\begin{equation*}\label{eq:third}\tag{third}
  \text{Third equation}
\end{equation*}

\begin{equation}\label{eq:fourth}
  \text{Fourth equation}
\end{equation}

\begin{itemize}
  \item A reference to~\eqref{eq:first}.
  \item A reference to~\eqref{eq:second}.
  \item A reference to~\eqref{eq:third}.
  \item A reference to~\eqref{eq:fourth}.
\end{itemize}

\newpage

For scrolling purposes.

\end{document}

Answer

正确使用\tagwithhyperref和的方法amsmath是使用未编号的带星号的数学环境。然后，它们不会增加方程计数器，这会根据新的计数器值隐式定义一个锚点，而只会\tag再次减少计数器（它对已经定义的锚点无能为力，但如果有必要，可以使用选项hypertexnames=false来hyperref部分缓解这种情况）。

hyperref即使有上述情况，cleveref和之间也存在不兼容问题amsmath。正如 Martin 所指出的，问题在于cleveref直接实现amsmath宏并对其进行更改，从而忽略了hyperref的工作。一种选择是进一步修补提供的宏，amsmath以整合hyperref的增强功能和cleveref的附加功能，我已在以下方面进行了此操作：

\documentclass{article}

\usepackage{amsmath}
\usepackage{hyperref}
\usepackage{cleveref}

\makeatletter

  \def\make@df@tag@@#1{%
    \gdef\df@tag{%
      \maketag@@@{\Hy@make@anchor#1}%
      \def\@currentlabel{#1}%
      \def\cref@currentlabel{[equation][2147483647][]#1}%
    }%
  }
  \def\make@df@tag@@@#1{%
    \gdef\df@tag{%
      \tagform@{\Hy@make@anchor#1}%
      \toks@\@xp{\p@equation{#1}}%
      \edef\@currentlabel{\the\toks@}%
      \edef\cref@currentlabel{[equation][2147483647][]\the\toks@}
    }%
  }
\makeatother

\begin{document}

\begin{equation*}\label{eq:first}\tag{first}
  \text{First equation}
\end{equation*}

\begin{equation*}\label{eq:second}\tag{second}
  \text{Second equation}
\end{equation*}

\begin{equation*}\label{eq:third}\tag{third}
  \text{Third equation}
\end{equation*}

\begin{equation}\label{eq:fourth}
  \text{Fourth equation}
\end{equation}

\begin{itemize}
  \item A reference to~\eqref{eq:first}.
  \item A reference to~\eqref{eq:second}.
  \item A reference to~\eqref{eq:third}.
  \item A reference to~\eqref{eq:fourth}.
\end{itemize}

\newpage

For scrolling purposes.

\end{document}

Question 3

作为参考，这个问题似乎已经在最近的版本中得到修复cleveref（至少从 0.18.10 开始；CTAN 中还没有，但可以从我的网站)。其他答案中的重新定义不再是必要的。我还没有确切地追踪哪个版本cleveref修复了这个错误。

Answer

作为参考，这个问题似乎已经在最近的版本中得到修复cleveref（至少从 0.18.10 开始；CTAN 中还没有，但可以从我的网站)。其他答案中的重新定义不再是必要的。我还没有确切地追踪哪个版本cleveref修复了这个错误。

Question 4

由于我必须为文档的最终版本找到解决方案，因此我找到了以下解决方案；它在日志文件中产生了很多错误，但它们似乎与最终文档中的错误不符。不过，我仍然对正确的方法™ 感到好奇。

\makeatletter
\newif\if@plaintag
\@plaintagfalse
\let\plaintagform@\tagform@
\newcommand{\plaintag}[1]{\begingroup\let\tagform@\plaintagform@\tag{#1}\endgroup}
\def\tagform@#1{\if@plaintag\else\refstepcounter{equation}\fi%
                \maketag@@@{[\textsc{\ignorespaces #1}]}}
\newcommand{\ptag}[1]{\@plaintagtrue\tag{#1}\@plaintagfalse}
\makeatother

由于我无论如何都要重新定义\tagform@（在方括号中渲染\maketag@@@小写字母），我强制它包含\refstep{equation}（模数if语句，用于\tagged 但未标记的方程式）。我还将所有\tags 放在 s 之前\label（我不确定这是否有必要，但这样做没有坏处）。结果，尽管有很多关于重复标签的警告，但一切似乎都正常工作；步进方程式计数器使链接目标正确。

Answer

由于我必须为文档的最终版本找到解决方案，因此我找到了以下解决方案；它在日志文件中产生了很多错误，但它们似乎与最终文档中的错误不符。不过，我仍然对正确的方法™ 感到好奇。

\makeatletter
\newif\if@plaintag
\@plaintagfalse
\let\plaintagform@\tagform@
\newcommand{\plaintag}[1]{\begingroup\let\tagform@\plaintagform@\tag{#1}\endgroup}
\def\tagform@#1{\if@plaintag\else\refstepcounter{equation}\fi%
                \maketag@@@{[\textsc{\ignorespaces #1}]}}
\newcommand{\ptag}[1]{\@plaintagtrue\tag{#1}\@plaintagfalse}
\makeatother

由于我无论如何都要重新定义\tagform@（在方括号中渲染\maketag@@@小写字母），我强制它包含\refstep{equation}（模数if语句，用于\tagged 但未标记的方程式）。我还将所有\tags 放在 s 之前\label（我不确定这是否有必要，但这样做没有坏处）。结果，尽管有很多关于重复标签的警告，但一切似乎都正常工作；步进方程式计数器使链接目标正确。

问题

问题

一个例子

编译消息

带有`\usepackage{cleveref}`和`\tag`

仅使用`\tag`s（无`\usepackage{cleveref}`）

只用`\usepackage{cleveref}`s（无`\tag`s）

什么也没有（既不是`\usepackage{cleveref}`也不`\tag`是）

没有`\usepackage{hyperref}`，但有其他一切

替换`equation`为`gather`

发生了什么？

答案1

答案2

答案3

答案4

相关内容

问题

一个例子

编译消息

带有\usepackage{cleveref}和\tag​

仅使用\tags（无\usepackage{cleveref}）

只用\usepackage{cleveref}s（无\tags）

什么也没有（既不是\usepackage{cleveref}也不\tag是）

没有\usepackage{hyperref}，但有其他一切

替换equation为gather