problem with sbcl when it thinks it's not interactive
Subject: problem with sbcl when it thinks it's not interactive
From: Andrey G. Grozin
Date: Tue, 22 Nov 2005 17:13:35 +0600 (NOVT)
On Tue, 22 Nov 2005, Siver Andrey wrote:
> Hello, Maxima Community,
> I would like to say an opinion (may be off topic here) that it's not good
> thing from methodological point of view when MAXIMA tries to ask something
> interactively.
But what can maxima do if the form of the integral depends on the sign of
a, and you have not supplied this information via
assume(a>0);
or something? I see 3 possibilities:
1. Refuse to calculate this integral
2. Return an unevaluated 'if
This opens a *huge* can of worms
3. Somebody on this list suggested an interesting solution. Let the user
to specify "sample" numerical values of all parameters. They will be used
*only* for evaluating booleans like is(a>b) etc. The result produced will
be correct in some neighbourhood of the specified point (whose boundaries
are unknown).
I think it is a *very* strong point of maxima that it takes mathematical
correctness seriously, and always (tries to) return the result which is
correct in the specified region of parameters. Other systems happily
return integrals which are wrong in the region I am interested in. So,
questions are an importand (and good) part of maxima design, and should be
retained. But it should be possible to suppress them, thus losing a part
of functionality (I hope *not* correctness!!)
Andrey