☰

最终证明包中存在的问题

tag-icon • tag-icon forward-inverse-search
最终证明包中存在的问题

我最近在使用 proof-at-the-end 包，它应该将所有证明移到您论文的某个选定附录中。虽然我发现这个非常有用，但我遇到了一些困难，我无法找到任何答案。

我在 TeXLive 2020 上使用标准 AMS 包，并添加了以下行

\usepackage[conf={proof at the end, no link to proof, one big link}]{proof-at-the-end}

这是我的前言。

  1. 使用 {theoremEnd} 环境编写的语句和证明的文本不再允许源和 pdf 之间的同步；

  2. 一个精确的定理导致错误，从而阻止编译文件并返回消息“！包 amsmath 错误：多个 \label：标签‘rhoad’将丢失。”

谢谢你的帮助！

答案1

免责声明：我写了这个库。

关于源和 pdf 之间的同步问题，这是由于库的工作方式造成的：当它在附录中找到要移动的文本时，它会将其附加到单独的文件中（您可以看到它们，它们被命名为pratendNameOfCategory.tex），然后代码只需输入此文件。因此，当您想要同步 pdf 和源时，您将被重定向到这个临时文件而不是主 pdf 内部。我不知道是否有办法帮助 synctex 找到实际的代码（我很想尝试实现这一点），而且我也不知道有更好的方法来设计库以避免这个问题。如果有人有解决方案，我很乐意尝试实现它。但其他库comment也存在同样的错误，所以我想很难避免。

我通常使用的解决方法如下：当我编写证明或在证明中做出许多更改时，我使用类似样式debug来确保证明也写在正文中：链接 pdf-tex 将在那里起作用。完成证明后，我将证明移到附录中，如果发现拼写错误，我会单击指向定理的链接：它会将我带回到主论文，在那里我可以再次使用链接 pdf-tex。您可能还会发现搜索（C-s在 emacs 中）很实用，可以快速在文件中查找文本。

关于你的第二个问题，我不知道。我从来没有遇到过这种错误。一个完整的最小工作示例会有所帮助。另外，请随时填写问题这里。

相关内容