I hate to make two posts in a row but I changed my mind. I don't think anyone really cares about the statement made by that professor so I will discuss this one only off list and I doubt there will be any replies.
Sorry,
Rich
------------Original Message------------
From: "Richard Hennessy"<rvh2007 at comcast.net>
To: "Barton Willis" <willisb at unk.edu>
Cc: "Maxima List" <maxima at math.utexas.edu>
Date: Sun, Aug-31-2008 7:04 PM
Subject: Re: [Maxima] infinity correct maxima
My professor in Software Engineering said to the class that every program has an infinite number of bugs. I never knew what he was talking about but I think if you look at the "big picture" every piece of software is incomplete and in that sense it could be called a bug in a different cultural setting. Like America 100 years from now.
Rich
PS I don't mind discussing this off list if you want. I defer to your judgment on that.
------------Original Message------------
From: Barton Willis <willisb at unk.edu>
To: maxima at math.utexas.edu
Date: Thu, Aug-28-2008 8:38 AM
Subject: infinity correct maxima
Every once in awhile, we talk about making Maxima "infinity correct."
Among other things, an infinity correct Maxima would do inf - inf -->
und. I think Raymond even once started an infinity correct Maxima
branch. My guess is that infinity correct multiplication and
exponentiation operators would break quite a few limit calculations.
I think I've pointed things like the following before--one more time:
Try tracing simplus and evaluate:
integrate(1/(x^2*sqrt(x^2-a^2)),x,a,inf);
Maxima calls simplus 634 times; in the list of calls to simplus,
you'll see
1> (SIMPLUS ((MPLUS) $INF ((MTIMES SIMP) -1 $INF)) 1 T)
<1 (SIMPLUS 0)
Yikes! You'll also see the same sums done a dozen or more times in a
row.
I have an *experimental* simplus function that tries to be infinity
correct. Richard Fateman wrote parts of this code, but the infinity
correctness is due to me. This code also uses sorting to speed up
lengthy sums with many distinct terms; for short sums, the
alternative simplus function is slower (in the test suite, about 98.7%
of the summands have fewer than eight terms).
If it's OK with everybody, I'll place this code in a new folder, say
/share/contrib/altsimp. Last I checked, this code makes it through the
test suite with three errors. Maybe this code would be a distraction;
maybe it would be helpful. Algorithmically, simplus is pretty simple.
Barton
And by the way, with my infinity correct addition, Maxima calls
simplus 642 times to evaluate integrate(1/(x^2*sqrt(x^2-a^2)),x,a,inf).
It still gets the correct value. Because my code is not infinity
correct for multiplication, some things don't work:
(%i5) inf - inf;
(%o5) inf-inf
Some things do:
(%i6) inf + minf;
(%o6) und
With an infinity correct multiplication, the test suite might
report many errors.
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima