You claim I said this, "2*inf is not equal to inf", but I didn't. I did say "There is no information loss here which is the overriding concern to me."
Which just means you can get the step size back.
Rich
------------Original Message------------
From: "Stavros Macrakis" <macrakis at alum.mit.edu>
To: "Richard Hennessy" <rvh2007 at comcast.net>
Cc: "Maxima List" <maxima at math.utexas.edu>
Date: Sun, May-11-2008 7:35 PM
Subject: Re: [Maxima] Fourier Series for unit step
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