Re: [Axiom-math] Can I decompose a domain ?

[William Sit]

Francois Maltey wrote:
> 
> Hello,
> 
> resFloat   : Expression Float := cos (4.0 * x)
> resInteger : Expression Float := cos (4 * x)
> resComplex : Expression Complex Integer := exp (3+4*%i)
> 
> How can I get Float from resFloat ? Integer from resInteger, etc.
> in a *.input file ?

I'm not sure what you are asking. Is the following what you want?

(isTimes ((argument ((kernels resFloat).1)).1)).1::Float
(isTimes ((argument ((kernels resInteger).1)).1)).1::Integer
argument ((kernels resComplex).1).1::Complex Integer

William