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

[Page, Bill]

On Tuesday, September 20, 2005 5:09 AM Francois Maltey wrote:
> ... 
> 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 ?
> 

Try this:

(1) -> p2:=(2*log(x)+3*exp(y))*(4*sin(z)+2*log(x))

                       y                 2      y
   (1)  (8log(x) + 12%e )sin(z) + 4log(x)  + 6%e log(x)
                      Type: Expression Integer

(2) -> p3:=eval(monomials( _
             subst(p2,kernels p2,[x,y,z,w])::DMP([x,y,z,w],INT) _
           ),[x,y,z,w],kernels p2)

                           y              2    y
   (2)  [8log(x)sin(z),12%e sin(z),4log(x) ,6%e log(x)]
                      Type: List Expression Integer


Regards,
Bill Page.