像 Sage（和 MACSYMA，Mathematica）这样的数学系统的单元测试策略
Unit testing strategy of a Mathematical system like Sage (and MACSYMA, Mathematica)
为了测试像 Sage 这样的数学系统的正确性和性能，人们是否使用数学问题的标准测试数据集？
如果是这样，我将不胜感激 link 或对数据集的引用。
注意：
- 我查看了一些与 Sage 测试相关的文档，例如 Running Sage’s doctests
我无法回答有关 Mathematica 或 Macsyma（或 Maple 或...）的问题，但 Sage 和 Maxima 都有单元测试，每个微版本确实 运行；然而，在任何一种情况下，它们通常都不是一组 'standard' 问题，尽管它们都有一些子集。根据区域的不同，有些可能是标准集的一部分 - Sage 尝试测试尽可能多的 Wester's problems in calculus, and Maxima does them in all sorts of areas. Some papers and books have full doctests built into Sage, e.g. the k-Schur function primer. But otherwise it just is a set of representative tests in both cases, e.g. Maxima Lambert W or Sage normal form games。
如果存在任何此类数据集，将它们变成任何给定系统的测试文件将是非常 有价值的贡献 - 我想到 Sympy，例如，作为另一个有价值的目标。
为了测试像 Sage 这样的数学系统的正确性和性能，人们是否使用数学问题的标准测试数据集？
如果是这样，我将不胜感激 link 或对数据集的引用。
注意：
- 我查看了一些与 Sage 测试相关的文档，例如 Running Sage’s doctests
我无法回答有关 Mathematica 或 Macsyma（或 Maple 或...）的问题，但 Sage 和 Maxima 都有单元测试，每个微版本确实 运行；然而，在任何一种情况下，它们通常都不是一组 'standard' 问题，尽管它们都有一些子集。根据区域的不同，有些可能是标准集的一部分 - Sage 尝试测试尽可能多的 Wester's problems in calculus, and Maxima does them in all sorts of areas. Some papers and books have full doctests built into Sage, e.g. the k-Schur function primer. But otherwise it just is a set of representative tests in both cases, e.g. Maxima Lambert W or Sage normal form games。
如果存在任何此类数据集，将它们变成任何给定系统的测试文件将是非常 有价值的贡献 - 我想到 Sympy，例如，作为另一个有价值的目标。