[Axiom-math] partfrac, expand, combine, rewrite and simplify.

[fmaltey]

Hello, 

// 1 //
I use mupad and I find very pretty the only 4 commands :
  expand, combine, rewrite and simplify (with or without an option)

expand (binomial (n, 3))                          -> n(n-1)(n-2)/6
expand (sin (2*x))                                -> 2 sin(x) cos(x)

combine (sin(x)^2, sincos)                        ->(1-cos(2x))/2

rewrite (..., opt) with opt=exp, sincos, sinhcosh, etc.
  for rewriting

simplify tries to simplify, but it's not so sure.

In axiom I find a lot of functions as factorials, htrigs, expandTrigProducts
but no pretty front-end function. Is there ?
What tells axiom about such general functions ?

// 2 //
I call partfrac the transform as 2x^3 / (1-x^2) = 1/(1-x) - 1/(1+x) - 2x

What is its name in axiom ?


Thanks a lot if you can give me some reponses.

François