Gemeinsam genutzte Zähler von mdthereom, cleverref und verschachtelte Theoreme

Question

Da du kein kompilierbares MWE gepostet hast, ist die folgende Antwort nicht direkt auf deine Bedürfnisse zugeschnitten, sondern dient nur der Veranschaulichung des Prinzips. Der Grund, warum dein dritter angezeigter Codeblock nicht funktioniert, ist, dass du für die drei Umgebungen denselben Zähler verwendest. Cleveref verwendet den Zählernamen, um die verschiedenen Umgebungen voneinander zu unterscheiden.

Die Lösung hierfür (die intern zum cleverefUmgang mit Theoremumgebungen verwendet wird, die denselben Zähler gemeinsam nutzen und amsthmdas gleiche Problem aufweisen) besteht in der Erstellung eines doppelten Slave-Zählers.

Zum Beispiel

\documentclass{article}
\usepackage{cleveref}

\newcounter{mastercounter}
\newcounter{envAcount}
\newcounter{envBcount}
\makeatletter
\let\c@envAcount\c@mastercounter
\let\c@envBcount\c@mastercounter
\makeatother

\newenvironment{envA}{\refstepcounter{envAcount}\textbf{First Environment \theenvAcount}\par}{}
\newenvironment{envB}{\refstepcounter{envBcount}\textbf{Second Enviornment \theenvBcount}\par}{}

\Crefname{envAcount}{First}{First}
\Crefname{envBcount}{Second}{Second}

\begin{document}

\begin{envA}\label{envAtest}
        Test
\end{envA}

\begin{envB}\label{envBtest}
        Another test
\end{envB}

\Cref{envAtest} and \Cref{envBtest}

\end{document}

Dieser Code erstellt drei Zähler: mastercounter, envAcount, und envBcount.
Die Zeilen zwischen \makeatletter...\makeatother„make“ envAcountund „ envBcountintern“ weisen denselben Zähler auf wie mastercounter, daher erhöht eine Erhöhung um eine Zeile alle drei ^* .
Dann definieren wir neue Umgebungen envAund envB; beachten Sie, dass Sie in jeder Umgebung \refstepcounterentweder envAcountoder envBcountje nach Bedarf verwenden. Dies ist wichtig, da der Zählername in der .auxDatei aufgezeichnet wird, wenn Sie \labeldie Umgebung verwenden.
Beachten Sie, dass wir die \Crefnamemithilfe derNamen der Zähler, nicht die Namen der Umgebung, die den Zähler verwendet.

Der obige Code erzeugt die folgende Ausgabe

Sie können den Trick jetzt selbst in Ihr gesamtes Dokument integrieren, indem mdframedSie Ihre Umgebungen definieren.

^* Eine Alternative zur manuellen Ausführung ist die Verwendung eines Pakets wieAliasname.

Nachdem Sie nun ein MWE hinzugefügt haben, finden Sie hier eine an Ihr MWE angepasste Version

\documentclass{book}
\usepackage{amsthm,xcolor,mdframed,hyperref,cleveref}
% Colors
\definecolor{tab-blue}{rgb}{0.341,0.471,0.643}
\definecolor{tab-orange}{rgb}{0.894,0.580,0.267}

%%%
%Counters
\newcounter{thechapter}

% Chapters
\newcommand{\fchapter}[1]%
{%
    \phantomsection\chapter*{Chapter #1}%
    \stepcounter{thechapter}
    \newpage% Chapter Number
} 

% Copy the same style but modify the colour only
\mdfdefinestyle{theoremstyle}{%
    backgroundcolor=tab-blue!10
}

\mdfdefinestyle{remarkstyle}{%
    backgroundcolor=tab-blue!5,
}

\mdfdefinestyle{notestyle}{%
    backgroundcolor=tab-orange!5,
}

\newcounter{boxcounter}[thechapter]
\renewcommand{\theboxcounter}{\arabic{thechapter}.\arabic{boxcounter}}
\newcounter{lemma}
\newcounter{note}
\newcounter{remark}
\makeatletter
\let\c@lemma\c@boxcounter
\let\c@note\c@boxcounter
\let\c@remark\c@boxcounter
\let\thelemma\theboxcounter
\let\thenote\theboxcounter
\let\theremark\theboxcounter
\makeatother


\newenvironment{lemma}[1][]{%
    \refstepcounter{lemma}
    \edef\x{Lemma \thelemma\ #1}
    \begin{mdframed}[%
        frametitle={\x},
        style=theoremstyle
    ]%
}{%
    \end{mdframed}
}

\newenvironment{note}[1][]{%
    \refstepcounter{note}
    \edef\x{Note \thenote\ #1}
    \begin{mdframed}[%
        frametitle={\x},
        style=notestyle
    ]%
}{%
    \end{mdframed}
}

\newenvironment{remark}[1][]{%
    \refstepcounter{remark}
    \edef\x{Remark \theremark\ #1}
    \begin{mdframed}[%
        frametitle={\x},
        style=remarkstyle
    ]%
}{%
    \end{mdframed}
}

% Here we manage Clever Headers
\crefname{lemma}{lem.}{lems.}
\Crefname{lemma}{Lemma}{Lemmas}

\crefname{note}{note}{notes}
\Crefname{note}{Note}{Notes}

\begin{document}
\fchapter{1: main result}
\begin{lemma}[main lemma]\label{lem:main}
1234556
\end{lemma}
\begin{proof}
    123
\begin{note}[calculations]\label{note:calculations}
\begin{lemma}[calculation 1]\label{lem:calc 1}
calc 1 here
\end{lemma}
\begin{proof}
calc 1 proof
\end{proof}
\begin{lemma}[calculation 2]\label{lem:calc 2}
calc 2 here
\end{lemma}
\begin{proof}
calc 2 proof
\end{proof}
\begin{remark}[rmk 1]\label{rmk: rmk 1}
rmk 
\end{remark}
\end{note}

\end{proof}

Cleveref tests: 
\begin{itemize}
    \item main lemma \cref{lem:main}
    \item note calculations: \cref{note:calculations}
    \item lemma calc 1: \cref{lem:calc 1}
    \item lemma calc 2: \cref{lem:calc 2}
    \item rmk 1 1: \cref{rmk: rmk 1}
\end{itemize}
\end{document}

welche Shows

Ein Trick dabei ist die Zeile

\edef\x{Note \thenote\ #1}

um das Problem zu umgehen, dass, wenn Sie in eingeben \thenote, der Wert von frametitle={Note \thenote\ #1}bis zum mdframedErweitern \thenotebereits von den Innenumgebungen geändert wurde. Dieser Trick stellt im Wesentlichen sicher, dass der aktuelle Wert von \thenotein gespeichert wird \x, und mit der Magie der „variablen Bereichsbestimmung“ wird der Wert von beim Verlassen der Innenumgebung \xauf den Wert vor dem Eintritt in die Umgebungen zurückgesetzt.

Answer 1