두 메이플

Question

의 덧셈 내가

> a:=Sum(x(i),i=n..m); 
> b:=Sum(x(i),i=n-1..m+1);

n 및 m 같은 변수를 경계로 두 시퀀스를 가지고있는 임의의 자연수 분명히 m>n을 빼지하는 방법.
나는 b에서 a을 빼지 및 Maple 메이플 또는 다른 CAS에

> b-a; 
x(n-1)+x(m+1);

이 가능에 대한 표현을 단순화하는 방법을보고 싶어?

Answer 1

임시 개체를 사용하여 수행 한 다음 두 단계로 작업 할 수 있습니다.

a:=Sum(x(i),i=n..m): 
b:=Sum(x(i),i=n-1..m+1): 

temp := Sum(x(i),i=op(1,rhs(op(2,a)))..op(2,rhs(op(2,b)))); 
         m + 1  
         -----  
         \   
         )  
         / x(i) 
         -----  
         i = n  

value(combine(b-temp) + combine(temp-a)); 
        x(n - 1) + x(m + 1) 

또는 프로 시저에 넣을 수 있습니다.

combminus:=proc(s::specfunc(anything,Sum),t::specfunc(anything,Sum)) 
    local temp; 
    if op(1,s) = op(1,t) then 
     temp:=Sum(op(1,s),i=op(1,rhs(op(2,s)))..op(2,rhs(op(2,t)))); 
     value(combine(s-temp)+combine(temp-t)); 
    else 
     s-t; 
    end if; 
end proc: 

combminus(b, a); 
        x(n - 1) + x(m + 1)