On Sun, May 11, 2008 at 7:30 PM, Richard Hennessy <rvh2007 at comcast.net> wrote:
> Personally I don't mind 2*inf as the answer but others would object.
What is your definition of inf such that 2*inf is not equal to inf? Do
you have a consistent system where limit(2*x,x,inf) = 2*inf but
limit(x,x,inf) = inf?
> (%o2) if x<0 then 0 elseif equal(z,0) then (a-b)*inf else 0
> There is no information loss here which is the overriding concern to me.
> so integrate(%o2) could give back
> f(x):= (if x > 0 then a else b) + C
Only if it assumes that integrate(a*inf,x,0,0) = a. It seems unlikely
that that is a safe assumption....
-s