最近用 sympy 求解不定积分碰壁有人推荐用 sagemath 。我去知乎，和百度搜了一圈。很多都说 sage 在符号运算方面比肩 mathematica 。开源免费。而且现在已经到 9.0 版本了。
于是产生了问题 1： 这么好的一个软件，且开源免费。内网上评价也多积极正面。而且已经到了 9.0 版本，说明历史不短了。但是为什么国内没有流行起来。形成这种印象的原因是：在知乎搜索 “python 积分” 出来的大部分都介绍 sympy 的方法。(我知道一个是库，一个是软件。但是 sagemath 毕竟是以 python 做语言，且 sympy 而是需要 pip 安装。所以从学习使用成本上是可以放在一起比较的)。在知乎搜索“sagemath mathematica ” 出来的内容评论和点赞都很少。在知乎直接搜索“sagemat”话题，问题，评论点赞都不多。豆瓣和京东上也只找到了一本中文书。这么好用又免费的软件没理由这样啊。是不是有什么不知道的坑？求老师指教。
我看了 sage 的介绍：W.Stein 在设计 Sage 时意识到了有不同的语言(包括有 C 、C++、Fortran 和 Python )编写的大量现成的大型开源数学软件可用。因此，Sage (用 Python 和 Cython 实现的)将所有专用的数学软件集成到一个通用的接口而不是从头开发。
还有些网上文章说 sympy 也是 sage 的一个子集。
于是产生了问题 2： 他的软件质量如何控制。众多开源软件很多功能都是重合的，比如很多开源库都可以解不定积分。但是能力参差不齐。且这些开源库本身向下兼容规则不一致(有些升级到新版本，原来基于老版本写的代码就不能用了。)，升级频率也不同。sage 作为一款软件如何协调这些问题，比如我在软件中求解不定积分，他们他是调用 sympy，还是调用其他支持符号计算的库？我用 python 在 sage 中写代码，要不是时刻考虑语法应该兼容哪个库的哪个版本？
