如何保留原始编号？

Question

我想从我已 TeX 处理的脚本中创建一个摘录，作为最重要的陈述（定理和定义）的概要。

问题 \仅输入文件的一部分 有一个威尔·罗伯逊（Will Robertson）的回答假设使用捕捉标签之间的文件。我这样做了，并且效果很好，但是...

如何保留原始编号？

上述使用 catchfilebetweentags 包的方法允许我同时更正主文件和摘要中的错误。为了便于比较，我也希望使用相同的编号。尽管编号已重置。

---

注意：我可以想象一种解决方案，即\setcounter{counter}{value}在每个语句前面但标签内放置一个。但是，这是一种非常不方便的方法，因为它不够优雅，而且需要做更多的工作。

---

编辑（MWE）：

取自本网站（作者：Giacomo Drago）

包含应包含的标签的文件

% Equations dictionary
\documentclass[11pt]{article}
\usepackage{amssymb,amsmath}

% Begin document
\begin{document}

%<*eq001>
\begin{equation}
F\left (x_1,\dots,x_n,\frac{\partial u}{\partial x_1},\dots,\frac{\partial u}{\partial x_n},\frac{\partial^2 u}{\partial x_1\partial x_1},\dots,\frac{\partial^2 u}{\partial x_n\partial x_n},\dots
\right)
\end{equation}
%</eq001>

\begin{equation}
    a = b + c
\end{equation}

%<*eq002>
\begin{equation}
u_x=\frac{\partial u}{\partial x}, \quad\quad\quad
u_{xy}=\frac{\partial^2 u}{\partial y \partial x}=\frac{\partial u}{\partial y}\left( \frac{\partial u}{\partial x} \right).
\end{equation}
%</eq002>
% A bunch of other equations...
\end{document}

包含的文件

% http://yatb.giacomodrago.com/en/post/3/latex-loading-equations-from-an-external-file.html
\documentclass[a4, 11pt, twoside]{report}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage[T1]{fontenc}

\usepackage{catchfilebetweentags}
\usepackage{blindtext}

\newcommand{\loadeq}[1]{%
   \ExecuteMetaData[equ.tex]{eq#1}%
}


\begin{document}
    \blindtext
    \loadeq{001}
    \blindtext
    \loadeq{002}
    \blindtext
\end{document}

Answer 1

这是一个解决方案。这个想法是捕获几乎所有的东西，但只显示需要的部分。

第一个文件（带标签）

\documentclass{amsart}
\usepackage{lipsum}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}
\begin{document}
%<*tag>
\lipsum[1]
Here we go
%</tag>
%<*atag> 
\begin{definition}
some bla bla
\end{definition}
\begin{theorem}
more bla bla
\end{theorem}
\begin{definition}
some bla bla
\end{definition}
%</atag>
%<*btag>
\begin{definition}
some bla bla
\end{definition}
\begin{theorem}
more bla bla
\end{theorem}
%</btag>
%<*ctag>
\lipsum[1-2]
%</ctag>
%<*dtag>
\begin{lemma}
more bla bla
\end{lemma}
\begin{theorem}
more bla bla
\end{theorem}
%</dtag>
%<*etag>
\lipsum[1-2]
\begin{example}
some bla bla
\end{example}
%</etag>
\begin{theorem}
more bla bla
\end{theorem}
\end{document}

最终文件

\documentclass{amsart}
\usepackage{lipsum}

\usepackage{catchfilebetweentags}
\newtoks\temptoken

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}
\begin{document}
\lipsum[1]
\CatchFileBetweenTags\temptoken{file}{tag}% capture part1
\setbox0=\vbox{\the\temptoken}%  skip part1
\CatchFileBetweenTags\temptoken{file}{atag}% capture part2
\the\temptoken % display part2

\CatchFileBetweenTags\temptoken{file}{btag}% capture part3
\setbox0=\vbox{\the\temptoken}%  skip part3
\CatchFileBetweenTags\temptoken{file}{ctag}% capture part4
\setbox0=\vbox{\the\temptoken}%  skip part4

\CatchFileBetweenTags\temptoken{file}{dtag}% capture part5
\the\temptoken%  display part5
\end{document}