Re: assuming certain properties about variables
- To: mathgroup at smc.vnet.net
- Subject: [mg111641] Re: assuming certain properties about variables
- From: Peter Pein <petsie at dordos.net>
- Date: Sun, 8 Aug 2010 07:23:08 -0400 (EDT)
- References: <i3jc5i$d0d$1@smc.vnet.net>
Am Sat, 7 Aug 2010 10:22:42 +0000 (UTC) schrieb "Christoph Lhotka" <christoph.lhotka at univie.ac.at>: > Hello, > > Sorry for my late reply. The reason is, that I found your message in > the MathGroup archive, but never recieved it by mail. In addition it > puzzles me, why you were not able to find my post, since it is > present in the archive ... > > Regarding your comment, I repeat, how I would use the symbol > $Assumptions to define the function f to work for t without setting > the upvalue to it: > > f[t_] := If[MemberQ[{$Assumptions}, t > 0], t, -t] > > Assuming[t > 0, f[t]] > > which will return t, if t is assumed to be positive and -t otherwise. > > The draw back is, that one also has to give a return value if t is not > greater than 0. > > Best regards, > > Christoph > ... Hmmm, wouldn't g be the better choice of the two functions below? In[1]:= f[t_] := If[MemberQ[{$Assumptions}, t > 0], t, -t] In[2]:= Assuming[t^3 > 0, f[t]] Out[2]= -t In[3]:= g[t_] := If[FullSimplify[t > 0, $Assumptions], t, -t] In[4]:= Assuming[t^3 > 0, g[t]] Out[4]= t