Re: [Maxima-discuss] ratsimp not working as expected

[andre m. <and...@gm...>]

On 03/07/2014 04:40 PM, Richard Fateman wrote:
> 3. If there is a subtle bug in the lisp system (SBCL?) running on your 
> operating
> system which I gather is windows/ mingw. And this is what I might 
> happen with you.

No it is not windows, it is Fedora 20 (64bit).

As Richard Fateman pointed out in an other email to try installing GCL.
I have now installed Maxima 5.31.3 with SBCL and GCL.

SBCL is the Fedora 20 provided 1.1.12-1.fc20
GCL is the Fedora 20 provided GCL 2.6.10

Maxima 5.31.3 is installed via
./configure \
--enable-gcl --with-gcl=gcl \
--enable-sbcl --with-sbcl=sbcl \
--prefix=/home/user/opt/maxima
make
make install

GCL gives a segmentation fault for an even shorter test case.

Andre

--- ratsimp-bug3.max ---------------
display2d : false;
d : 4;
A : genmatrix(lambda([k,l],v[[k,l]]-v[[0,l]]),d,d);
Ainv : invert(A);
--- ratsimp-bug3.max ---------------

--- ratsimp-bug3.txt ---------------

[user@localhost ~]$ maxima -l gcl -b ratsimp-bug3.max
Maxima 5.31.3 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.10 (a.k.a. GCL)
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) batch("ratsimp-bug3.max")

read and interpret file: #p/home/user/ratsimp-bug3.max
(%i2) display2d:false
(%o2) false
(%i3) d:4
(%o3) 4
(%i4) A:genmatrix(lambda([k,l],v[[k,l]]-v[[0,l]]),d,d)
(%o4) 
matrix([v[[1,1]]-v[[0,1]],v[[1,2]]-v[[0,2]],v[[1,3]]-v[[0,3]],v[[1,4]]-v[[0,4]]],[v[[2,1]]-v[[0,1]],v[[2,2]]-v[[0,2]],v[[2,3]]-v[[0,3]],v[[2,4]]-v[[0,4]]],[v[[3,1]]-v[[0,1]],v[[3,2]]-v[[0,2]],v[[3,3]]-v[[0,3]],v[[3,4]]-v[[0,4]]],[v[[4,1]]-v[[0,1]],v[[4,2]]-v[[0,2]],v[[4,3]]-v[[0,3]],v[[4,4]]-v[[0,4]]])
(%i5) Ainv:invert(A)
Universal error handler
�Q�ly (:ERROR NIL PROGN ""
"Couldn't protect")
Segmentation fault


--- ratsimp-bug3.txt ---------------