Advanced Search

Question: Assume on a procedure

Question:Assume on a procedure

sasomao 622 Maple
November 04 2009
0

Hi

 

I don't find how to assume that the codomain of a function is the real range (0,infinity)

I want to define  g:= h-> A(h) and tell to maple that A(h) (or g(h) which is the same) is real for each h, even if the function A is still unknown.

 

Aditionally I can't undestand why I obtain

restart:

assume (f, RealRange(0,infinity)):

coulditbe(Im(f)<>0);

                                    false

coulditbe(f,'complex');

                                    true
 

why the last true?

Thanks

S.
Please Wait...