Make check failures



I downloaded the maxima source yesterday using:
git clone git://maxima.git.sourceforge.net/gitroot/maxima/maxima

I used the following configuration incantation today to build maxima:
export GCL_ANSI=y CFLAGS="-O2 -g -march=i386 -mcpu=i686 -fno-fast-math" 
CXXFLAGS="-O2 -g -march=i386 -mcpu=i686 -fno-fast-math" && ./configure 
--prefix=$HOME/MaximaTest --enable-sbcl --enable-cmucl --enable-ccl 
--enable-gcl --with-sbcl=/usr/local/bin/sbcl 
--with-cmucl=/opt/cmucl-20c/bin/lisp --with-ccl=/usr/local/bin/ccl 
--with-gcl=/usr/bin/gcl

followed by:
make
make check
make install

build_info ();
Maxima version: 5.26.0_22_g91b6c40
Maxima build date: 10:20 1/24/2012
Host type: i686-pc-linux-gnu
Lisp implementation type: CMU Common Lisp
Lisp implementation version: Snapshot 2011-02 (20B Unicode)
make check completed without unknown failures.

build_info ();
Maxima version: 5.26.0_22_g91b6c40
Maxima build date: 10:28 1/24/2012
Host type: i686-pc-linux-gnu
Lisp implementation type: GNU Common Lisp (GCL)
Lisp implementation version: GCL 2.6.8
make check completed without unknown failures.

build_info ();
Maxima version: 5.26.0_22_g91b6c40
Maxima build date: 10:22 1/24/2012
Host type: i686-pc-linux-gnu
Lisp implementation type: SBCL
Lisp implementation version: 1.0.53
make check failures are tests (393, 394)

build_info ();
Maxima version: 5.26.0_22_g91b6c40
Maxima build date: 10:30 1/24/2012
Host type: i686-pc-linux-gnu
Lisp implementation type: Clozure Common Lisp
Lisp implementation version: Version 1.6-r14468M  (LinuxX8632)
make check failures are tests (37, 193, 197)

I ran the test suite from within xmaxima for sbcl and ccl and
sbcl fails on rtest16
********************** Problem 393 ***************
Input:
closeto(zeta(%i + 3) - (1.10721440843141 - .1482908671781754 %i), 1.e-15)


Result:
3.3157171161039706e-9

This differed from the expected result:
true

********************** Problem 394 ***************
Input:
         !              1 !
closeto(!zeta(0.5 %i + -)! - 1.06534921249378, 1.e-14)
         !              2 !


Result:
3.1194385963217997e-8

This differed from the expected result:
true

ccl fails on rtest15
********************** Problem 37 ***************
Input:
     2         2 - %pi
  sin (3 a) sin (----- + a + b)
                   3
(-----------------------------
             2     %pi
          sin (a - ---)
                    3
                                 - %pi
    2 sin(a) sin(3 a) cos(b) sin(----- + a + b) sin(3 a + 3 b)
                                   3
  - ----------------------------------------------------------
                             %pi
                     sin(a - ---) sin(a + b)
                              3
       2       2
    sin (a) sin (3 a + 3 b)
  + -----------------------, result : trigrat(%%),
             2
          sin (a + b)
expected : (- (- 9 + 10 cos(2 a) - 2 sqrt(3) sin(2 a) - cos(4 a)
  + sqrt(3) sin(4 a) + 10 cos(2 b) - 2 sqrt(3) sin(2 b) - cos(4 b)
  + sqrt(3) sin(4 b) - 4 cos(2 b - 2 a) - 8 cos(2 a + 2 b)
  + 4 sqrt(3) sin(2 a + 2 b) + 2 cos(4 a + 2 b) - 2 sqrt(3) sin(4 a + 2 b)
  + 2 cos(2 a + 4 b) - 2 sqrt(3) sin(2 a + 4 b) - cos(4 a + 4 b)
  + sqrt(3) sin(4 a + 4 b)))/4, ratsimp(result - expected))


Result:
Polynomial quotient is not exact
error-catch

This differed from the expected result:
0

********************** Problem 193 ***************
Input:
                2
               t  log(t)
integrate(-----------------, t, 0, 1)
             2            4
           (t  - 1) (1 + t )


Result:
                    2
   (sqrt(2) - 2) %pi
- ------------------
           32

This differed from the expected result:
                  2
(sqrt(2) - 1) %pi
------------------
         9/2
        2

********************** Problem 196 ***************
Input:
                                         1
factor(expand(sqrtdenest(integrate(------------, x, 0, 1))))
                                    1          4
                                    - + (x - 3)
                                    2
                                     3/4      9/4
                     73 + sqrt(2) + 2    - 3 2
  - factor((- (- log(----------------------------)
                                  33
                        3/4      9/4              3/4    5/2    13/4
        73 + sqrt(2) - 2    + 3 2              - 2    + 2    - 2
  + log(----------------------------) + 2 atan(---------------------)
                     33                                3/4    13/4
                                                 98 + 2    - 2
            3/4    5/2    13/4
           2    + 2    + 2         7/4
  + 2 atan(-------------------)))/2   )
                   3/4    13/4
           - 98 + 2    - 2


Result:
          13/4    5/2    3/4              13/4    5/2    3/4
         2     + 2    + 2              - 2     + 2    - 2
(2 atan(-------------------) + 2 atan(---------------------)
            13/4    3/4                    13/4    3/4
         - 2     + 2    - 98            - 2     + 2    + 98
           9/4    3/4                            9/4    3/4
        3 2    - 2    + sqrt(2) + 73        - 3 2    + 2    + sqrt(2) + 73
  + log(----------------------------) - log(------------------------------))
                     33                                   33
                 9/4    3/4
   7/4        3 2    - 2    + sqrt(2) + 73
/2    - (log(----------------------------)
                           33
             9/4    3/4
        - 3 2    + 2    + sqrt(2) + 73
  - log(------------------------------) - 2
                      33
           3/4                      1/4
       79 2    + 365 sqrt(2) + 877 2    + 5
  atan(------------------------------------)
                      10657
                 3/4                      1/4
           - 79 2    + 365 sqrt(2) - 877 2    + 5    7/4
  + 2 atan(--------------------------------------))/2
                           10657

This differed from the expected result:
0

My copies of cmucl, sbcl, and ccl may not be the latest available if 
that makes any difference to the test suite.

I hope this information is useful in making maxima better,

Paul Bowyer