我做到了,使用Common Lisp进行符号运算。 详见博客园随笔(https://www.cnblogs.com/suspended-monitor/p/17741193.html)。懒得重新再写一遍了。