Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Feature]: 使用 create-theorem 代替 ntheorem #154

Open
atxy-blip opened this issue May 31, 2022 · 1 comment
Open

[Feature]: 使用 create-theorem 代替 ntheorem #154

atxy-blip opened this issue May 31, 2022 · 1 comment
Labels
compatibility Third party packages goes wrong enhancement New feature or request math Symbols and theorems

Comments

@atxy-blip
Copy link
Member

目前模板内的定理类环境是依赖 ntheorem 定制的(特别感谢 fduthesis),缺陷在于一旦预先设置了若干定理环境,用户做修改时只能重新进行定义。模板尝试在 \njusetup 提供了一些接口以预设样式,在导言区末尾载入宏包并创建环境。这会导致用户额外进行的修改只能放到导言区后,不符合使用直觉。

相似地,thmtools 似乎也不方便对已有的定理类环境进行样式修改。

最近注意到了 create-theorem 包,这是一个使用 LaTeX3 格式编写的上述包的轻量级替代品,大体上满足学校论文中简单定理类环境定制的要求。新宏包的好处是维护频繁,譬如昨天刚提出的 Jinwen-XU/create-theorem#1 很快就获得了回复和更新,算是解决了十分关心的 QED 符号问题,为替换扫清了障碍。

而且,对前述的样式定制问题,create-theorem 提供了批量修改的解决方案:

\SetTheorem{ ⟨list of the name of environments⟩ }{ ⟨key‑value configuration⟩ }

目前考虑做以下的修改:

  • 删除 ntheorem 以及相关的全部 nju/theorem 键值
  • 提供 notheorem 选项以选择是否由文档类载入 create-theorem 进行定理类环境设置
  • 使用 create-theorem 重新预先定义原有的若干定理环境
  • 手册中使用 create-theorem 提供的命令介绍样式修改方式
@atxy-blip atxy-blip added enhancement New feature or request compatibility Third party packages goes wrong math Symbols and theorems labels May 31, 2022
@atxy-blip atxy-blip added this to the 1.0 milestone May 31, 2022
@atxy-blip atxy-blip removed this from the 1.0 milestone Aug 5, 2022
@atxy-blip
Copy link
Member Author

由于 create-theorem 尚不稳定,仅保留了一个测试分支,目前仍然采用 ntheorem 进行配置。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
compatibility Third party packages goes wrong enhancement New feature or request math Symbols and theorems
Projects
None yet
Development

No branches or pull requests

1 participant