楓在如何手動選擇一種解決方案？

Question

經過一些複雜的集成之後，楓樹給出了在變量的不同域上定義的解決方案列表。我只需要選擇其中的一個。域名太複雜了，以至於assuming沒有幫助：maple內存耗盡，試圖找出這些假設如何與他找到的域名相對應。但是，這很明顯，我需要哪種解決方案。

是否有可能在楓提取某種解決方案的數量，或者只是放下未定義的解決方案，使楓忘記它定義的域？

P.S.很難複製粘貼這個解決方案，因爲它很長。

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 

在這個patricular例如添加assuming a<b會有所幫助，但我想直接獲得ln(b)-ln(a)。

Answer 1

看看convert。它可以採用分段系統並將其轉換爲數組。

> sln := int(1/x, x=a..b,AllSolutions): 
> s:=value(sln) assuming a>0, b>0; 

         { -ln(a) + ln(b)  a < b 
         { 
        s := {  0    b = a 
         { 
         { -ln(a) + ln(b)  b < a 

> conv:=convert(s,list); 

    conv := [a < b, -ln(a) + ln(b), b = a, 0, b < a, -ln(a) + ln(b)] 

> conv[2]; 

          -ln(a) + ln(b) 

您可以通過給右（偶數）索引到數組或通過匹配你想要的部分奇的人選擇您最喜歡的部分（然後選擇對應的甚至是一個）。