# [Maxima] Work on the simplifier: TMS and TIMESIN

Dieter Kaiser drdieterkaiser at web.de
Sun May 31 16:51:01 CDT 2009

```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

```