Reduce/Redlog計算機代數系統的Lisp-like（前綴）輸出

Question

這是關於Reduce計算機代數系統（reduce-algebra.com）的。

我可以將Reduce（和Redlog）中的表達式打印爲Reduce輸入格式，例如(c < 0 or b > 0)使用off nat$。我希望獲得類似Lisp的語法，例如(or (< c 0) (> b 0))。

有沒有這樣做的Reduce包？

（好吧，我總是可以實現獨立的解析器和打印機）。

Answer 1

由於似乎沒有包，這樣做，我實現了一個簡單的解析器和美化打印機轉換成適當的語法。