经过一些复杂的集成后,maple 给出了在不同变量域上定义的解决方案列表。我只需要选择其中之一。域是如此复杂以至于assuming
没有帮助:maple 内存不足,试图弄清楚这些假设如何与他找到的域相对应。但是,很明显,我需要哪种解决方案。
在 Maple 中是否可以通过其数量以某种方式提取解决方案,或者只是删除未定义的解决方案,使 Maple 忘记定义它的域?
PS 这个解决方案很难复制粘贴,因为它很长。
UPD最小工作示例:
> sln := int(1/x, x=a..b,AllSolutions):
> value(sln) assuming a>0, b>0;
{ -ln(a) + ln(b) a < b
{
{ 0 b = a
{
{ -ln(a) + ln(b) b < a
在这个特殊的例子中添加assuming a<b
会有所帮助,但我想ln(b)-ln(a)
直接得到。