我做到了，使用Common Lisp進(jìn)行符號運(yùn)算。 詳見博客園隨筆（https://www.cnblogs.com/suspended-monitor/p/17741193.html）。懶得重新再寫一遍了。