Maxima 5.20.0 release



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)

Andrej