axiom-math
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Francois Maltey
Subject: Re: [Axiom-math] Can I decompose a domain ?
Date: 19 Mar 2006 11:53:50 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Hello William, and thanks a lot

> > 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 ?
 
> Is the following what you want?

No I don't try to get the sub-argument, but the type of the subargument.
But I'm not sure I can get it.
 
> (isTimes ((argument ((kernels resFloat).1)).1)).1::Float
> (isTimes ((argument ((kernels resInteger).1)).1)).1::Integer
> argument ((kernels resComplex).1).1::Complex Integer

Imagine I know that a is an Expression...
My function don't know if a is an Expression Float, or an Expression Integer...

I want to do as below in an *.input file.

Myfunction (a : Expression ...) : String ==
  is a an Expression Integer => "Integer"             -- or an other calculus.
  is a an Expression Franction Integer => "Rationnal" 
  is a an Expression Complex ... => "Complex"   -- so I can use real and imag.
  is a an Expression Float => "Float"
  "A rare domain".

Thanks a lot.

Francois 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]