[Maxima] задание дифференциальных операторов

Можешь задачу целиком обрисовать?

А не корректней было бы задать в фунциональном виде?

Ну тоесть что-то типа

laplace(f_,t_):=Plus@@(D[D[f,#],#]&/@t);
laplace(Sin[x]+Cos[y],{x,y});

Это для Математики =)

Это и есть задача целиком. Надо уметь задавать какие угодно диф операторы, чтобы уметь работать с выражениями в которых эти операторы используются.

Как-то сложно получается, даже сложнее чем в maple. А за математику вроде тоже деньги хотят?

Я это к тому, что список аргументов по которым дифференцировать вынести, не заставлять программу саму угадывать; получится просто функция.

То, что я привел для переменного числа координат. Если фиксированный набор арнументов {x,y}, то задание функции будет выглядеть как

laplace[f,{x,y}]:=D[D[f,x],x]+D[D[f,y],y];
Можно даже
laplace[f,x,y]:=D[D[f,x],x]+D[D[f,y],y];

В максиме не сильно будет отличаться, думаю. Просто сам с ней тоже не работал.

Ступил, так действительно почти работает. Только вот это не работает.

laplace(cos(x)*sin(x)+cos(2*y),x,y);

А вот это работает

f(x,y):=cos(x)*sin(x)+cos(2*y)
laplace(f,x,y);

Мелочь конечно, но неприятно.

Тем более, что она может угадать не так, как ожидаешь, не будешь же везде использовать имена переменных x и y.

AXIOM

Странно, у меня все наоборот =)

http://imgur.com/13TWg

WTF?

Вот так

laplace(f(x,y),x,y);

А вот так работает

slapl((2*sin(lambda)*sin(2*phi)),phi,lambda);
      ^                        ^
      |________________________|
                   |
                Скобочки

Магия =)

Ооо, я долго с этим сражался. Вот работающий вариант:

/* Definition */
D(f):=
  funmake('lambda,
          [['x], diff(f('x),'x)]);

/* Test */
D(lambda([x],x^2));

я думаю, ты в состоянии далее творчески переработать

Еще можно openreduce попробовать:

http://www.damtp.cam.ac.uk/linux/sl/damtp/5x/RPMS/i386/openreduce-20091021-1....

http://www.damtp.cam.ac.uk/linux/sl/damtp/5x/RPMS/x86_64/openreduce-20091021-...

Решено, всем спасибо. Но чую, что первое время придется сверяться с maple, так как поведение maxima порой неожиданно.