몇 가지 복잡한 통합 후 메이플은 다양한 변수 도메인에 정의 된 솔루션 목록을 제공합니다. 그 중 하나만 선택해야합니다. 도메인은 매우 복잡하여 assuming
은 도움이되지 않습니다. maple은 메모리가 부족하여 이러한 가정이 자신이 발견 한 도메인과 어떻게 일치하는지 파악하려고합니다. 그러나 어느 솔루션이 필요한지는 분명합니다.메이플에서 수동으로 하나의 솔루션을 선택하는 방법은 무엇입니까?
메이플에서 어떻게 든 그 번호로 솔루션을 추출 할 수 있습니까? 아니면 정의되지 않은 솔루션을 삭제하여 메이플이 정의 된 도메인을 잊어 버릴 수 있습니까?
P. 꽤 오랫동안이 솔루션을 복사하여 붙여 넣기가 어렵습니다.
UPD 최소한의 작업 예 : 도움이 될 assuming a<b
를 추가이 patricular 예에서
> 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
,하지만 난 직접 ln(b)-ln(a)
을 좀하고 싶습니다.