Maxima 5.20.0 release
- Subject: Maxima 5.20.0 release
- From: Andrej Vodopivec
- Date: Wed, 9 Dec 2009 20:13:19 +0100
On Wed, Dec 9, 2009 at 11:35 AM, Andrej Vodopivec
<andrej.vodopivec at gmail.com> wrote:
> On Wed, Dec 9, 2009 at 12:36 AM, Andrej Vodopivec
> <andrej.vodopivec at gmail.com> wrote:
>> On Mon, Dec 7, 2009 at 4:51 PM, Robert Dodier <robert.dodier at gmail.com> wrote:
>>> Hello,
>>>
>>> I've built Maxima 5.20.0 rpms and tar.gz and posted them to the
>>> SF file manager.
>>> http://sourceforge.net/projects/maxima/files
>>>
>>> I hope someone can build a Windows installer and post it.
>>
>> A Windows installer is now available. run_testsuite reports two
>> unexpected errors:
>>
>> Running tests in rtestsum:
>> ********************** Problem 151 ***************
>> Input:
>> product(%pi - 3, i, minf, inf)
>>
>>
>> Result:
>> ? ? ? ? 1 + inf + inf
>> (%pi - 3)
>>
>> This differed from the expected result:
>> 0
>>
>> ********************** Problem 154 ***************
>> Input:
>> product(- %pi, i, minf, inf)
>>
>>
>> Result:
>> ? 1 + inf + inf ? ? ?2 inf + 1
>> %pi ? ? ? ? ? ? ?(- 1)
>>
>> This differed from the expected result:
>> infinity
>
> The bug comes from limit:
>
> (%i9) product(%pi-3, i, minf, inf);
> ?1> (SIMPPROD1 ((MPLUS SIMP) -3 $%PI) $I $MINF $INF)
> ? ?2> ($LIMIT ((MPLUS . #0=(SIMP)) 1 $INF ((MTIMES . #0#) -1 $MINF)))
> ? ? ?3> ($LIMIT ((MPLUS . #0=(SIMP)) 1 $INF ((MTIMES . #0#) -1 $MINF))
> ? ? ? ? ? ? ? ? #:G34547 0 $PLUS)
> ? ? ? ?4> ($LIMIT #0=#:G34547 #0# $INF)
> ? ? ? ?<4 ($LIMIT $INF)
> ? ? ? ?4> ($LIMIT ((MTIMES SIMP) -1 #0=#:G34547) #0# $MINF)
> ? ? ? ?<4 ($LIMIT $INF)
> ? ? ?<3 ($LIMIT ((MPLUS) 1 $INF $INF)) ? ? ? ? ? ? ? ? ?<<< This should be $inf
> ? ? ?3> ($LIMIT ((MPLUS . #0=(SIMP)) 1 $INF ((MTIMES . #0#) -1 $MINF))
> ? ? ? ? ? ? ? ? #:G34547 0 $MINUS)
> ? ? ? ?4> ($LIMIT #0=#:G34547 #0# $INF)
> ? ? ? ?<4 ($LIMIT $INF)
> ? ? ? ?4> ($LIMIT ((MTIMES SIMP) -1 #0=#:G34547) #0# $MINF)
> ? ? ? ?<4 ($LIMIT $INF)
> ? ? ?<3 ($LIMIT ((MPLUS) 1 $INF $INF))
> ? ?<2 ($LIMIT ((MPLUS) 1 $INF $INF)) ? ? ? ? ? ? ? ? ?<<< This should be $inf
> ?<1 (SIMPPROD1
> ? ? ? ? ((MEXPT SIMP) ((MPLUS SIMP) -3 $%PI) ((MPLUS) 1 $INF $INF)))
> (%o9) (%pi-3)^(1+inf+inf)
This has been fixed in limit.lisp rev 1.87.
Andrej