[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] Re: How can I get every term of an expression ?

**From**: |
Francois Maltey |

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

**Date**: |
Tue, 20 Sep 2005 11:08:49 +0200 |

**User-agent**: |
Gnus/5.1006 (Gnus v5.10.6) XEmacs/21.5 (chestnut, linux) |

"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