这几天都在忙着写 ORESUS 软件包的一些例子。总算要实现我 4 年（甚至更早以前）的愿望了！那时候和ex游完泳等她的时候就在写 ORESUS 的代码。。。

好吧！现在大家可以在 BitBucket 看到这个软件包，关于它的介绍我还在不断完善中。

关于 FriCAS，其实这是古董级计算机符号计算软件的一个分支。大家如果有兴趣，可以关注 fricas.github.io，其用户手册在 fricas.github.io/book.pdf 可以获取。