Possible bug in (our port of) Maxima : please check me

[Emmanuel Charpentier]

In 9.2.beta7, (our port of) Maxima seems to have an nice bug : inability to evaluate (some) symbolic sums. Minimal illustration :

```

;;; Loading #P"/usr/local/sage-9/local/lib/ecl/sb-bsd-sockets.fas"

;;; Loading #P"/usr/local/sage-9/local/lib/ecl/sockets.fas"

Maxima 5.44.0 http://maxima.sourceforge.net

using Lisp ECL 20.4.24

Distributed under the GNU Public License. See the file COPYING.

Dedicated to the memory of William Schelter.

The function bug_report() provides bug reporting information.

(%i1) display2d:false;

(%o1) false

(%i2) sum(i, i, 1, 7);

(%o2) 28

/* As expected */

(%i3) sum(i, i, 1, p);

(%o3) 'sum(i,i,1,p)

/*Huh ? */

(%i4) sum(i, i, 1, p), nouns;

(%o4) 'sum(i,i,1,p)

/* !!!! */

```

Curiously, `sage` seems perfectly able to use Maxima's `sum` for its own purposes :

```

sage: sum(i, i, 1, n)

1/2*n^2 + 1/2*n

```

Could you check this ?

- On a standalone installation of Maxima

- On previous versions of Sage ?

[Dima Pasechnik]

On Sat, Feb 20, 2021 at 11:10 AM Emmanuel Charpentier
<emanuel.c...@gmail.com> wrote:
>
> In 9.2.beta7, (our port of) Maxima seems to have an nice bug : inability to evaluate (some) symbolic sums. Minimal illustration :
>
> ```
> ;;; Loading #P"/usr/local/sage-9/local/lib/ecl/sb-bsd-sockets.fas"
> ;;; Loading #P"/usr/local/sage-9/local/lib/ecl/sockets.fas"
> Maxima 5.44.0 http://maxima.sourceforge.net
> using Lisp ECL 20.4.24
> Distributed under the GNU Public License. See the file COPYING.
> Dedicated to the memory of William Schelter.
> The function bug_report() provides bug reporting information.
> (%i1) display2d:false;
>
> (%o1) false
> (%i2) sum(i, i, 1, 7);
>
> (%o2) 28
>
> /* As expected */
>
> (%i3) sum(i, i, 1, p);
>
> (%o3) 'sum(i,i,1,p)
>
> /*Huh ? */

sum() is lazy by default, you need

(%i5) sum(i,i,1,p), simpsum;

(%o5) (p^2+p)/2


HTH
Dima

>
> (%i4) sum(i, i, 1, p), nouns;
>
> (%o4) 'sum(i,i,1,p)
>
> /* !!!! */
> ```
>
> Curiously, `sage` seems perfectly able to use Maxima's `sum` for its own purposes :
>
> ```
> sage: sum(i, i, 1, n)
> 1/2*n^2 + 1/2*n
> ```
>
> Could you check this ?
>
> - On a standalone installation of Maxima
>
> - On previous versions of Sage ?
>
>

> --
> You received this message because you are subscribed to the Google Groups "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/28fae2a2-ab48-426a-8045-a010bcd5ee83n%40googlegroups.com.

[Emmanuel Charpentier]

Le samedi 20 février 2021 à 17:37:30 UTC+1, dim...@gmail.com a écrit :

On Sat, Feb 20, 2021 at 11:10 AM Emmanuel Charpentier
<emanuel.c...@gmail.com> wrote:
>
> In 9.2.beta7, (our port of) Maxima seems to have an nice bug : inability to evaluate (some) symbolic sums. Minimal illustration :
>
> ```
> ;;; Loading #P"/usr/local/sage-9/local/lib/ecl/sb-bsd-sockets.fas"
> ;;; Loading #P"/usr/local/sage-9/local/lib/ecl/sockets.fas"
> Maxima 5.44.0 http://maxima.sourceforge.net
> using Lisp ECL 20.4.24
> Distributed under the GNU Public License. See the file COPYING.
> Dedicated to the memory of William Schelter.
> The function bug_report() provides bug reporting information.
> (%i1) display2d:false;
>
> (%o1) false
> (%i2) sum(i, i, 1, 7);
>
> (%o2) 28
>
> /* As expected */
>
> (%i3) sum(i, i, 1, p);
>
> (%o3) 'sum(i,i,1,p)
>
> /*Huh ? */

sum() is lazy by default, you need

(%i5) sum(i,i,1,p), simpsum;

(%o5) (p^2+p)/2

My recollection of  `Maxima`'s  documentation was incorrect...

HTH

It did. Thank you very much !