滑动 slide是一个表达式重写系统和验证器。 给定像这样的表达式 x(x + 2 * 3) / (x + 6) slide应该能够发出简化表达式x 。 幻灯片的设计目标包括 简化为平台，其中重写规则是用户可配置的。 例如，您应该能够给x^2 dx -> 2x这样的规则（或从其中删除！），并且slide将在减少表达式中包含该规则。 可以认为这类似于编译器中的可调优化。 支持交互式用户界面，包括文本编辑器中诸如Tex之类的文档的文本编辑器功能。 有关此的更多信息，请参见。 验证语句正