integrate returns undefined .. Bug in zero denominator?

Maxima would have to be really smart to be able to do this integral in my 
humble opinion.  I have no idea how you could program Maxima to recognise 
that you have to take the limit as n -> m.


----- Original Message ----- 
From: "Richard Hennessy" <rvh2007 at comcast.net>
To: "Maxima List" <maxima at math.utexas.edu>; <pdl at johnlapeyre.com>
Sent: Friday, September 12, 2008 12:56 PM
Subject: Re: [Maxima] integrate returns undefined .. Bug in zero 
denominator?


> Never mind.  I give up.  I will never be a good mathematician.  I make to
> many mistakes.  Just ignore this.  This does not help in this case at all.
>
> Sorry,
>
> Rich
>
> ----- Original Message ----- 
> From: "Richard Hennessy" <rvh2007 at comcast.net>
> To: "Maxima List" <maxima at math.utexas.edu>; <pdl at johnlapeyre.com>
> Sent: Friday, September 12, 2008 12:45 PM
> Subject: Re: [Maxima] integrate returns undefined .. Bug in zero
> denominator?
>
>
>> The fundamental theorem of integral caculus can be extented to this
>> slightly
>> stronger statement under the right conditions (which apply in this case).
>>
>> integrate(f(x),x,a,b) = limit(F(x),x,b) - limit(F(x),x,a)
>>
>> diff(F(X),x) = f(x)
>>
>> Then solving it this way could be a solution to the integrate bug.
>>
>> Rich
>>
>>
>>
>>
>> ----- Original Message ----- 
>> From: "John Lapeyre" <pdl at johnlapeyre.com>
>> To: <maxima at math.utexas.edu>
>> Sent: Wednesday, September 10, 2008 4:53 PM
>> Subject: Re: [Maxima] integrate returns undefined .. Bug in zero
>> denominator?
>>
>>
>>> This is not too pretty, but it seems to remove some bad
>>> solutions. For simplicity, it assumes the eqn is of the form
>>> someexpr = 0.  It checks some solutions of univariate
>>> equations.  Multivariate cases and some complicated cases
>>> are supposed to fall through. It also assumes that if
>>> limit() returns a number, it is more reliable than when
>>> solve() returns a solution!
>>>
>>> mysolve(sin(x-y)/(x-y),x);
>>>
>>> `solve' is using arc-trig functions to get a solution.
>>> Some solutions will be lost.
>>> (%o5) []
>>>
>>> ------------
>>> removebadsolns(expr,solns,var) := block( [s,var1,lim],
>>>    for s in solns do (
>>>    var1:inpart(s,1),
>>>    if mapatom(var1) and var1 = var then (
>>>      lim:limit(expr,var,inpart(s,2)),
>>>      if numberp(lim) and lim # 0 then
>>>        solns:delete(s,solns))),
>>>     solns);
>>>
>>> mysolve(expr,var) := block([solns],
>>>  solns:solve(expr,var),
>>>  if not listp(var) then
>>>     solns:removebadsolns(expr,solns,var) else solns);
>>> _______________________________________________
>>> Maxima mailing list
>>> Maxima at math.utexas.edu
>>> http://www.math.utexas.edu/mailman/listinfo/maxima
>>
>> _______________________________________________
>> Maxima mailing list
>> Maxima at math.utexas.edu
>> http://www.math.utexas.edu/mailman/listinfo/maxima
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima