show-steps: E-L-equations 暂时不能嵌入 unit test 的归到此处。

E-L-equations: 表达式验证使用 simplify; *.scm~: 清除 emacs 自动保存缓存文件。