☰

如何忽略证明？

tag-icon • tag-icon environments theorems
如何忽略证明？

我想打印一份没有所有校样的论文的简短版本，我正在考虑类似

\renewenvironment{proof}{\begin{comment}}{\end{comment}}

但这会激活评论环境就在那里，而不是在代码中。

答案1

尽管建议的问题，如何重新定义环境以不产生输出？，确实提供了想法，但并不明显它是完美的。

这里尝试comment按照请求的方式使用该包。

\documentclass{article}
\usepackage{amsthm}
\usepackage{comment}
%\excludecomment{proof}
\begin{document}
some text

\begin{proof}
proof text
\end{proof}

more text

\begin{proof}%
[Second proof]
more proof text
\end{proof}

still more text
\end{document}

如果\excludecomment取消注释该指令，那么所有证明确实都会消失。但有一个限制主要令人讨厌：

  • 如果校样前后没有空行，则所有周围的文本将一起运行。

在第一次尝试中，我认为不可能简单地指定proof要排除的“评论”，所以甚至没有尝试。（我错了。）相反，我定义了一种替代形式：

\specialcomment{myproof}{\begin{proof}}{\end{proof}}

并将证明标记为myproof而不是简单地标记为proof，从而产生以下不利结果：

  • 备用证明标题（例如[Second proof]）不被解释为通常的选项。如果它与在同一行\begin{myproof}，它就会消失。如果在另一行，且前一行以结束%（如示例代码中所示），它会打印出普通文本。

这个缺陷可能会对您的“完整”演示造成致命影响。

感谢原始海报尝试了“显而易见”的方法（并发现它有效！），并感谢 victor eijkhout 创建了这个包！

相关内容