像Sage（和MACSYMA，Mathematica）这样的数学系统的单元测试策略

Question

为了测试像Sage这样的数学系统的正确性和性能，人们是否使用数学问题的标准测试数据集？

如果是这样，我会欣赏数据集的链接或引用。

注：

1. 我看过一些与测试Sage有关的文件，如Running Sage’s doctests

Answer 1

关于Mathematica或Macsyma（或Maple或......），我无法回答，但Sage和Maxima都有单元测试，确实与每个微发布版一起运行;但是，它们通常不是一个标准的＆＃39;在任何一种情况下都有一组问题，尽管两者都有一些子集。根据区域的不同，有些可能是标准集的一部分--Sage尝试在微积分中测试尽可能多的Wester's problems和Maxima does them in all sorts of areas。一些论文和书籍在Sage中有完整的doctests，例如the k-Schur function primer。但除此之外，它只是两种情况下的一组代表性测试，例如Maxima Lambert W或Sage normal form games。

如果存在任何此类数据集，那么将它们转换为任何给定系统的测试文件将是非常值得的贡献 - 例如，Sympy会浮现在脑海中有价值的目标。