如何在Sage中允許任意常量

Question

我是一名微積分學生，我經常使用Sage檢查工作。通常，有必要允許兩個表達式之間的恆定差異。例如，當找到抗衍生物時，兩個結果ln(2*x)和ln(x)是等價的，但當然bool(ln(2*x) == ln(x))返回False。有沒有辦法定義變量C以便bool(ln(2*x) == ln(x) + C)返回True？

Answer 1

嗯，這是一個非常好的問題。據我所知，答案是否定的。在任何情況下，這將是任意計算成本昂貴總是檢查東西是否相等直到一個常數...

這就是說，這是煩惱你的情況 - 也爲更復雜的情況;如果您選擇不同的方法來查找複雜的觸發功能組合，則取決於您使用的簡化方式，這會一直髮生。

但是...我想知道它是否重要。難道你只是檢查有問題的函數的衍生物看？你必須小心一些域名，但你實際上說的是「我想檢查它是否與我得到的答案一樣」，當你需要的是「我得到的答案和一個Sage給出的答案是相同的衍生物「。事實上，就像使用乘法檢查長分區是最容易的一樣，使用衍生工具檢查抗衍生物是最容易的。

免得你認爲這是一個copout，here is a fun interactive thing to try，我希望在你的用例中起作用。