いくつかの複雑な統合の後、maple は変数の異なるドメインで定義された解のリストを提供します。そのうちの 1 つだけを選択する必要があります。ドメインは非常に複雑で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)
ます。