[Axiom-developer] Interest of the second parameter in normalize

[Francois Maltey]

Hello, 

I'm playing with normalize (expr, x) and normalize (expr, y).

normalize (expr, x) limits the number of kernel with x.
So exp (2*x) become exp (x)^2. The other variables remain.
Is it right ?

But axiom don't recognize 0 in coefficients in y. Is it right ?
I test normalize ((exp(2*x)+exp(x))*exp(2*y)/exp(y)-exp(x)*exp(y), x).
I get ((e^x)^2 + e^x (e^2y-(e^y)^2)) / e^y.

But if we want to simplify/resolve this polynomial in e^x it's necessary to
recognize it's simplified coefficients. Am I right ?

So what is the interest of normalize (expr, x) in front of normalize (expr) ?
If then axiom must normalize theses coefficients. I don't understand.

Have a nice week.

Francois