Re: [Gcl-devel] gcl-2.6.11 and maxima-5.33.0 on windows (was Re: 2.6.11)

[David Billinghurst]

On 1/09/2014 1:37 PM, David Billinghurst wrote:

On 1/09/2014 1:03 PM, David Billinghurst wrote:

I have problems with maxima-5.33.0 and Version_2_6_11pre on msys/windows.  Simple test case below.

There are issues with maxima-5.34.0 - released a few days ago - and Lisp implementations which compute floating point infinity by default (GCL, ECL).  See http://sourceforge.net/p/maxima/mailman/message/32778820/ for irrelevant details.  To avoid these I have focused on maxima-5.33.0, which works nicely with gcl-2.6.10.

I am comparing two freshly built gcls, using current mingw/msys 32-bit system under Windows XP SP3.

1. gcl-2.6.10 built from tarball, with configure patched to use system gmp
2. gcl git Version_2_6_11pre of around 12 hours ago

Both gcls are built using "./configure --enable-ansi  --enable-dynsysgmp"

Then build maxima-5.33.0 from tarball, using the two uninstalled gcl
./configure --enable-gcl --with-gcl=<path to>/gcl-xxx/unixport/saved_ansi_gcl.exe
make
make check

Using gcl-2.6.10, all tests pass.  Using Version_2_6_11pre I get a testsuite failure and then a "hang" in rtest11.mac.

I have started digging.  The first reduced testcase is the maxima command "is(%pi>1);"

Using maxima/gcl-2.6.10 the answer is "true"
With maxima/Version_2_6_11pre the answer is "unknown"

I need to put this aside for now, but may get back to it later today.

A further reduced maxima test case is "?sign1(%e);", or at the lisp level (sign1 '$%e)

Using maxima/gcl-2.6.10 the answer is "pos"
With maxima/Version_2_6_11pre the answer is "pnz"

Digging further, the lisp variables in maxima that contains the floating point value for e and pi are symbols when compiled with Version_2_6_11pre

When compiled with gcl-2.6.10

to_lisp();
MAXIMA> %e-val
2.718281828459045
MAXIMA> (type-of %e-val)
LONG-FLOAT

When compiled with Version_2_6_11pre

to_lisp();
%e-val
|2.7182818284590452353602874713526624977572470936999595749669676277240766303535475945713821785251664274274663919320030599218174135966290435729003342952605956307381323286279434907632338298807531952510190115738341879307021540891499348841675092447614606680822648001684774118537423454424371075390777449920695517027618386062613313845830007520449338265602976067371132007093287091274437470472306969772093101416928368190255151086574637721112523897844250569536967707854499699679468644549059879316368892300987931277361782154249992295763514822082698951936680331825288693984964651058209392398294887933203625094431173012381970684161404|
MAXIMA> (type-of %e-val)
SYMBOL

and similarly for %pi-val