maxima-5.26.0 in gentoo
- Subject: maxima-5.26.0 in gentoo
- From: Barton Willis
- Date: Wed, 21 Dec 2011 05:19:10 -0600
Using ccl, the testsuite runs OK (in about 198 seconds on an 2.53GHz i3) for me:
Maxima version: 5.26.0
Maxima build date: 4:35 12/21/2011
Host type: i686-pc-mingw32
Lisp implementation type: Clozure Common Lisp
Lisp implementation version: Version 1.7-r14925M (WindowsX8664)
In mid-November (I think), the expected result for rtest15 #193 was changed from
-((sqrt(2)-2)*%pi^2/32) to (sqrt(2)-1)*%pi^2/2^(9/2). The change in the expected
result was due to a change in simp.lisp. Is your simp.wx64fsl (or simp.wx32fsl)
file out of date?
As for the other two failures--using ccl I've seen these bugs. The last time I
saw them was (maybe) when I tried to switch from 64 bit to 32 bit ccl. Does make clean miss
something? As for the cure, I'm not sure--I think I manually deleted object code in
maxima/src/binary-openmcl and in maxima/binary/.... But the build process is a mystery for me.
--Barton
-----maxima-bounces at math.utexas.edu wrote: -----
The clozurecl failures are new (they were absent in maxima-5.25.1), and
they look serious:
********************** 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
250/253 tests passed
Andrey
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima