如何忽略证明?

如何忽略证明?

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

\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 创建了这个包!

相关内容