MathGroup Archive 2006

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: How do declare real functions?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg67963] Re: How do declare real functions?
  • From: Peter Pein <petsie at dordos.net>
  • Date: Wed, 19 Jul 2006 05:21:04 -0400 (EDT)
  • References: <e9frkc$2m4$1@smc.vnet.net> <e9ibi3$4v4$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

wandering.the.cosmos at gmail.com schrieb:
> I have a related question: is it possible in Mathematica to declare my
> function to be strictly real?
> 
Compare

In[1]:=
Simplify[Log[Exp[f[x]]]]
Out[1]=
Log[E^f[x]]

with

In[2]:=
Simplify[Log[E^realf[x]], Element[_realf, Reals]]
Out[2]=
realf[x]

Of course, "Element[_realf, Reals]" can be used in Assuming[],$Assumptions=... etc.

Peter


  • Prev by Date: delayed rule evaluation order
  • Next by Date: Extracting a Function's Domain and Image
  • Previous by thread: Re: delayed rule evaluation order
  • Next by thread: Extracting a Function's Domain and Image