滑动 slide是一个表达式重写系统和验证器。 给定像这样的表达式 x(x + 2 * 3) / (x + 6) slide应该能够发出简化表达式x 。 幻灯片的设计目标包括 简化为平台,其中重写规则是用户可配置的。 例如,您应该能够给x^2 dx -> 2x这样的规则(或从其中删除!),并且slide将在减少表达式中包含该规则。 可以认为这类似于编译器中的可调优化。 支持交互式用户界面,包括文本编辑器中诸如Tex之类的文档的文本编辑器功能。 有关此的更多信息,请参见。 验证语句正确性。 用法 幻灯片已准备就绪,可以非常早地使用。 尝试幻灯片的最简单方法是通过我们的 。 二进制文件可以从下载,也可以与cargo安装: cargo install slide --version 0.0.1 # This should set slide in your path; for usa