maxima 代数表达式变换

本文最初写于 2010-07-26
于 sohu 博客，这次博客搬家一起搬到这里来。
版权所有，转载请注明出处。
maxima有很多操纵代数表达式的函数，这里只列出了部分常用的。其他的我还没用过。



ratsimp(expr); /* Simplify expression */

fullratsimp(expr) /* fully Simplify expression */

radcan(expr); /* Simplify radicals(包含对数、指数、根式) */

factor(expr); /* Factor expression （因式分解）*/

factor (expr, p)

gfactor(expr); /* Factor complex （将成对的复数根也因式分解开）*/

expand(expr); /* Expand expression（表达式展开） */

expand (expr, p, n);

expr,logexpan=super; /* Expand logarithms （展开对数表达式）*/

logcontract(expr); /* Contract logarithms */





一些例子：

1 ratsimp

sin (x/(x^2 + x)) = exp ((log(x) + 1)^2 - log(x)^2);
ratsimp (%);





expr: (x^(a/2) + 1)^2*(x^(a/2) - 1)^2/(x^a - 1);

ratsimp (expr);

fullratsimp (expr);



2 radcan

radcan((log(x+x^2)-log(x))^a/log(1+x)^(a/2));

radcan((%e^x-1)/(1+%e^(x/2)));



3 factor

factor (2^63 - 1);

factor (-8*y - 4*x + z^2*(2*y + x));

factor (1 + x^4, a^2 - 2);

gfactor (x^4 - 1);





4 expand

expr:(x+1)^2*(y+1)^3;

expand(expr);

expr:(x+1)^-2*(y+1)^3;

expand(expr,2,2);



5 logcontract

2*(a*log(x) + 2*a*log(y))$

logcontract(%);