[Axiom-developer] Re: How can I get every term of an expression ?

[Francois Maltey]

"Page, Bill" <address@hidden> writes:

> How can I persuade Axiom to write out
>
> (1) -> (2*log(x)+3*exp(y))*(4*sin(z)+2*log(x))
>
> as a "sum of products"? E.g.
>
> (2) -> 8*log(x)*sin(z)+4*log(x)^2+12*exp(y)*sin(z)+6*exp(y)*log(x)
>
> In Axiom, both of these expressions are rendered as
>
>     (8log(x) + 12exp(y))sin(z) + 4log(x)  + 6exp(y)log(x)
>                 Type: Expression Integer
>
> Why does Axiom choose this peculiar form instead of (1) or (2)?
> Why can't Axiom factor and expand such expressions?


I use kernels to get the elementary functions.

Can I substitute theses elementary functions to new variables,
make transforms over polynoms, and substitute the variables back ?

Thanks a lot !

François