☰

Как иметь переформулируемые среды теоремы tcolorbox, избегая при этом многократного определения меток

tag-icon • tag-icon cross-referencing tcolorbox labels theorems thmtools
Как иметь переформулируемые среды теоремы tcolorbox, избегая при этом многократного определения меток

У меня есть документ, в котором я хотел бы вначале определить теорему, а затем переформулировать ее позже, когда придет время ее доказывать.

Обычно это можно сделать с помощью thm-restateпакета. Однако теоремы в моем документе используют среду tcolorbox, поэтому вместо этого я попробовал использовать подход, предложенный вэтот ответ.

Этот подход работает для переформулировки теорем, но тогда LaTeX выдает предупреждения о том, что метки «множественно определены». Из-за этой ошибки я не могу затем правильно ссылаться на переформулированные теоремы.

Мой вопрос:как переформулировать теоремы tcolorbox, не сталкиваясь с проблемой дублирования меток?

Вот минимальный пример, демонстрирующий настройку и проблему:

\documentclass{article}

\usepackage{amsmath}
\usepackage[colorlinks=true, allcolors=blue]{hyperref}
\usepackage{cleveref}

\usepackage{tcolorbox}
\tcbuselibrary{theorems}
\tcbuselibrary{magazine}
\usepackage{amsthm}

\theoremstyle{definition}

% The tcolorbox theorem
\newtcbtheorem{theorem}{Theorem}{colback=gray!10,colframe=gray!40!black}{theorem}

% Commands to restate the theorem
\newcommand{\recallthm}[2][1]{\par\noindent\useboxarray[#2]{#1}}
\usepackage{environ}
\NewEnviron{restatablethm}[2]{%
\newboxarray{#2}%
\begin{theorem}[reset box array=#2, store to box array=#2]{#1}{#2}
    \BODY%
\end{theorem}%
\recallthm{#2}%
}

% Other theorem environments might be on the same counter
\newtheorem{lemma}[tcb@cnt@theorem]{Lemma}

\begin{document}

    % The first theorem
    \begin{restatablethm}{Serious Algorithm}{coollabel}
        An example boxed theorem..
    \end{restatablethm}

    \begin{lemma}
        A simple lemma.
    \end{lemma}

    % The restated theorem
    \recallthm{coollabel}

    By \Cref{thm:collabel} we are done. % The reference here does not work (yields ??). 

\end{document}

решение1

Это использует [nophantom] для создания отзываемого ящика, но не оригинала. Он все равно генерирует предупреждение о дублирующих гиперцелях, плюс одно о ящике shipout. \Crefвообще не работает, хотя theorem:coollabel@crefметка была создана.

\documentclass{article}

\usepackage{amsmath}
\usepackage[colorlinks=true, allcolors=blue]{hyperref}
\usepackage{cleveref}

\usepackage{tcolorbox}
\tcbuselibrary{theorems}
\tcbuselibrary{magazine}
\usepackage{amsthm}

\theoremstyle{definition}

% The tcolorbox theorem
\newtcbtheorem{theorem}{Theorem}{colback=gray!10,colframe=gray!40!black}{theorem}

% Commands to restate the theorem
\newcommand{\recallthm}[2][1]{\par\noindent\useboxarray[#2]{#1}}
\usepackage{environ}
\makeatletter
\NewEnviron{restatablethm}[2]{% print this copy
\newboxarray{#2}%
\begin{theorem}[reset box array=#2, store to box array=#2,nophantom]{#1}{#2}
    \BODY%
\end{theorem}%
\addtocounter{tcb@cnt@theorem}{-1}%
\begin{theorem}{#1}{#2}
    \BODY%
\end{theorem}%
%\recallthm{#2}%
}

% Other theorem environments might be on the same counter
\newtheorem{lemma}[tcb@cnt@theorem]{Lemma}

\begin{document}

    % The first theorem
    \begin{restatablethm}{Serious Algorithm}{coollabel}
        An example boxed theorem..
    \end{restatablethm}

    \begin{lemma}
        A simple lemma.
    \end{lemma}

    % The restated theorem
    \recallthm{coollabel}

    By \ref{theorem:coollabel} we are done. % The reference here does not work (yields ??). 

\end{document}

Связанный контент