Work on the simplifier: TMS and TIMESIN
- Subject: Work on the simplifier: TMS and TIMESIN
- From: Dieter Kaiser
- Date: Sun, 31 May 2009 23:51:01 +0200
At last the failures in the share_testsuite:
Running tests in rtestezunits:
********************** Problem 116 ***************
Input:
e : e `` u
Result:
3/2
10 sqrt(2001) sqrt(1039309) m
------------------------------ ` -
7/2 s
125 2
This differed from the expected result:
sqrt(10) sqrt(2001) sqrt(1039309) m
--------------------------------- ` -
100 sqrt(2) s
143/144 tests passed.
The following 1 problem failed: (116)
Running tests in test-cholesky:
WARNING: DEFUN/DEFMACRO: redefining function $CHOLESKY in
/usr/local/share/maxima/5.18post/share/linearalgebra/linalgcholesky.lisp,
was defined in top-level
WARNING: DEFUN/DEFMACRO: redefining function $MATRIXEXP in
/usr/local/share/maxima/5.18post/share/linearalgebra/matrixexp.lisp,
was defined in top-level
0 errors, 0 warnings
********************** Problem 36 ***************
Input:
zeromatrixp(m1 . transpose(m1) - m . transpose(m))
Result:
false
This differed from the expected result:
true
40/41 tests passed.
The following 1 problem failed: (36)
Running tests in rtest_to_poly_solver:
WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in
/usr/local/share/maxima/5.18post/share/linearalgebra/polynomialp.lisp,
was defined in top-level
WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in
/usr/local/share/maxima/5.18post/share/contrib/topoly.lisp, was
defined in
/usr/local/share/maxima/5.18post/share/contrib/fourier_elim/fourier_elim.lisp
WARNING: DEFUN/DEFMACRO: redefining function SIMP-ISREAL-P in
/usr/local/share/maxima/5.18post/share/contrib/topoly.lisp, was
defined in
/usr/local/share/maxima/5.18post/share/contrib/to_poly_solve_extra.lisp
WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in
/usr/local/share/maxima/5.18post/share/contrib/fourier_elim/fourier_elim.lisp,
was defined in
/usr/local/share/maxima/5.18post/share/contrib/topoly.lisp
WARNING: DEFUN/DEFMACRO: redefining function SIMP-ISREAL-P in
/usr/local/share/maxima/5.18post/share/contrib/to_poly_solve_extra.lisp,
was defined in
/usr/local/share/maxima/5.18post/share/contrib/topoly.lisp
********************** Problem 116 ***************
Input:
1
nicedummies(to_poly_solve(cos(x) - 2 cos(2 x) + cos(3 x) = -, x,
2
simpfuncs =
['expand]))
Result:
sqrt(13) sqrt(sqrt(13) - 1) 1
%union([x = 2 %pi %z0 - %i log(-------- - ------------------ + -)],
4 3/2 4
2
sqrt(13) sqrt(sqrt(13) - 1) 1
[x = 2 %pi %z1 - %i log(-------- + ------------------ + -)],
4 3/2 4
2
%pi %pi
[x = 2 %pi %z2 - ---], [x = 2 %pi %z3 + ---],
3 3
sqrt(sqrt(13) + 1)
[x = 2 %pi %z4 - atan(------------------) - %pi],
1 sqrt(13)
------- - --------
sqrt(2) sqrt(2)
sqrt(sqrt(13) + 1)
[x = 2 %pi %z5 + atan(------------------) + %pi])
1 sqrt(13)
------- - --------
sqrt(2) sqrt(2)
This differed from the expected result:
1 sqrt(13 - sqrt(13)) sqrt(13)
%union([x = 2 %pi %z0 - %i log(- - ------------------- + --------)],
4 1/4 4
2 sqrt(2) 13
1 sqrt(13 - sqrt(13)) sqrt(13)
[x = 2 %pi %z1 - %i log(- + ------------------- + --------)],
4 1/4 4
2 sqrt(2) 13
%pi %pi
[x = 2 %pi %z2 - ---], [x = --- + 2 %pi %z3],
3 3
sqrt(13 + sqrt(13))
[x = - %pi - atan(-------------------) + 2 %pi %z4],
1/4 3/4
13 13
------- - -------
sqrt(2) sqrt(2)
sqrt(13 + sqrt(13))
[x = %pi + atan(-------------------) + 2 %pi %z5])
1/4 3/4
13 13
------- - -------
sqrt(2) sqrt(2)
********************** Problem 161 ***************
Input:
5/2
block([algexact : true], to_poly_solve(x + 1, x, 'simpfuncs =
['expand]))
Result:
sqrt(5 - sqrt(5)) sqrt(5) %i sqrt(5 - sqrt(5)) %i
sqrt(5)
%union([x = - ---------------------------- - -------------------- +
-------
5/2 5/2 4
2 2
1 sqrt(5 - sqrt(5)) sqrt(5) %i sqrt(5 - sqrt(5)) %i
sqrt(5) 1
- -], [x = ---------------------------- + -------------------- +
------- - -])
4 5/2 5/2 4
4
2 2
This differed from the expected result:
1/4
- 1 sqrt(5) 5 sqrt(sqrt(5) - 1) %i
%union([x = --- + ------- - -------------------------
4 4 4 sqrt(2)
3/4 1/4
sqrt(sqrt(5) - 1) 5 %i - 1 sqrt(5) 5 sqrt(sqrt(5) -
1) %i
- -------------------------], [x = --- + ------- +
-------------------------
4 sqrt(2) 4 4 4 sqrt(2)
3/4
sqrt(sqrt(5) - 1) 5 %i
+ -------------------------])
4 sqrt(2)
********************** Problem 211 ***************
Input:
5/2
block([algexact : true], to_poly_solve(x + 1, x, 'simpfuncs =
['expand]))
Result:
sqrt(5 - sqrt(5)) sqrt(5) %i sqrt(5 - sqrt(5)) %i
sqrt(5)
%union([x = - ---------------------------- - -------------------- +
-------
5/2 5/2 4
2 2
1 sqrt(5 - sqrt(5)) sqrt(5) %i sqrt(5 - sqrt(5)) %i
sqrt(5) 1
- -], [x = ---------------------------- + -------------------- +
------- - -])
4 5/2 5/2 4
4
2 2
This differed from the expected result:
1/4
- 1 sqrt(5) 5 sqrt(sqrt(5) - 1) %i
%union([x = --- + ------- - -------------------------
4 4 4 sqrt(2)
3/4 1/4
sqrt(sqrt(5) - 1) 5 %i - 1 sqrt(5) 5 sqrt(sqrt(5) -
1) %i
- -------------------------], [x = --- + ------- +
-------------------------
4 sqrt(2) 4 4 4 sqrt(2)
3/4
sqrt(sqrt(5) - 1) 5 %i
+ -------------------------])
4 sqrt(2)
285/289 tests passed (not counting 12 expected errors).
The following 4 problems failed: (116 161 211 288)
Dieter Kaiser