Как вычесть две суммы в клене - PullRequest
Новая
       43

Как вычесть две суммы в клене

1 голос
/ 06 декабря 2010

У меня есть две последовательности с переменными границами, такие как 

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

n и m - произвольные натуральные числа и, очевидно, m>n.
Я хочу вычесть a из b и посмотреть, как Maple упрощает выражение до 

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

Возможно ли это в Maple или в другом CAS?

1 Ответ

3 голосов
/ 07 декабря 2010

Вы можете сделать это, используя временный объект, а затем действовать в два этапа. 

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)
...