千里马：检查表达式是否包含任意积分常数

Question

我正在处理电子学习中的一个应用程序（Moodle上的STACK-Plugin）。给定一个简单术语，要求学生找到反导数（不确定）。千里马应检查答案是否正确。

以（x> -2）为例。 这是 如果您不削减分数。 如果您削减分数 。 当然，两种解决方案是相同的。

对我而言，检查裸露的等效性并不难。 is(fullratsimp(diff(answer,x) = term)) 应该做的工作。这只是故事的一半。

我不知道解决方案的部分是：如何检查是否存在任意累加积分常数？ 有什么建议么？

顺便说一句：为什么最大值的integrate(...)不添加常数？ 我的假设是integrate(x^2,x)产生x^3/3 + %c，但最大值跳过积分常数%c。