[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-math] Can I decompose a domain ?
From: |
William Sit |
Subject: |
Re: [Axiom-math] Can I decompose a domain ? |
Date: |
Sun, 19 Mar 2006 04:01:32 -0500 |
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