I'm new to mathematica and have trouble simplifying an expression.
I want to simplify the expression:
Exp[-s*t]
under the constraint that t=+Inf and s is a positive real number. I try it using:
Simplify[Exp[-s*t], {t = +Infinity, Element[s, PositiveReals]}]
However, it will get simplified to
E^(s (-\[Infinity]))
instead of the desired
0
Why is this ?
(btw.: I'm using Mathematica 9)
Assuming[s > 0, x - E^(s (-\[Infinity])) x == x // Simplify]
orSimplify[x - E^(s (-\[Infinity])) x == x, s > 0]
evaluate toTrue
$\endgroup$