本文最初写于 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(%);