computer-algebra-systems - 用于 Reduce/Redlog 计算机代数系统的类 Lisp（前缀）输出

Question

这是关于 Reduce 计算机代数系统（reduce-algebra.com）的。

我可以将 Reduce（和 Redlog）中的表达式打印成 Reduce 输入格式，例如(c < 0 or b > 0)使用off nat$. 我想获得类似 Lisp 的语法，例如(or (< c 0) (> b 0)).

是否有这样做的 Reduce 包？

（好吧，我总是可以实现一个单独的解析器和打印机。）

Answer 1

由于似乎没有包可以做到这一点，我实现了一个简单的解析器和漂亮的打印机来转换为适当的语法。