Re: Re: limit problem

*To*: mathgroup at smc.vnet.net*Subject*: [mg58950] Re: [mg58944] Re: limit problem*From*: Andrzej Kozlowski <akoz at mimuw.edu.pl>*Date*: Mon, 25 Jul 2005 01:12:07 -0400 (EDT)*References*: <dbt3lm$sk4$1@smc.vnet.net> <42E2A56C.3050808@gmail.com> <200507240522.BAA14483@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

I do not think there is any need for this. If Limit returned a conditional answer in the manner of Integrate with symbolic integration limits, then this problem would not arise. As it is, since Simplify and FullSimplify evaluate their arguments what you would get with your suggested approach is a double attempted evaluation of Limit, first without the assumptions of Simplify and then again with the assumptions: hardly the most efficient way to go about this. Since Integrate already returns conditional solutions applying Simplify will normally work the way you expect: Simplify[Integrate[1/x, {x, a, b}], 0 < a < b] Log[b/a] There was no "passing of assumptions" involved and none is needed. Andrzej Kozlowski On 24 Jul 2005, at 07:22, Chris Chiasson wrote: > As others have kindly demonstrated, Assuming is able to pass its > assumptions to Limit. I know that the second argument of Simplify and > FullSimplify is for assumptions. For this reason, I think WRI should > update FullSimplify and Simplify to pass their assumptions to Limit > and Integrate, etc. Is there a reason why they should not do so? > > On 7/23/05, Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com> wrote: > >> Chris Chiasson wrote: >> >>> Dear MathGroup, >>> Honestly, I see no reason why this should return "unevaluated" >>> instead of zero. >>> >>> FullSimplify[Limit[E^(-R t),t\[Rule] >>> Infinity],Infinity>R>0&&Element[R,Reals]] >>> >>> 5.2 on windows >>> >>> Regards, >>> >> Hi Chris, >> >> The following works: >> >> In[1]:= >> Limit[E^(-t), t -> Infinity] >> >> Out[1]= >> 0 >> >> In[2]:= >> Limit[E^((-R)*t), t -> Infinity] >> >> Out[2]= >> Limit[E^((-R)*t), t -> Infinity] >> >> In[3]:= >> Assuming[R > 0, Limit[E^((-R)*t), t -> Infinity]] >> >> Out[3]= >> 0 >> >> Best regards, >> /J.M. >> >> > > > -- > Chris Chiasson > http://chrischiasson.com/ > 1 (810) 265-3161 > >

**References**:**Re: limit problem***From:*Chris Chiasson <chris.chiasson@gmail.com>