Maxima branch_5_45_base_282_g08d17ea8c https://maxima.sourceforge.io using Lisp CLISP 2.49.60+ (2017-06-25) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) run_testsuite(share_tests = only) Testsuite run for CLISP 2.49.60+ (2017-06-25) (built 3726566601) (memory 3847141634): Running tests in rtestflatten: 43/43 tests passed Running tests in rtest_z_transform: WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNIT-STEP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function SIMP-POCHHAMMER in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp, was defined in top-level 36/36 tests passed Running tests in rtest_zeilberger_extreme: 9/9 tests passed Running tests in rtest_zeilberger: 53/53 tests passed Running tests in rtest_boolsimp: WARNING: DEFUN/DEFMACRO: redefining function PARSE-CONDITION in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/boolsimp/boolsimp.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/nparse.fas 48/48 tests passed Running tests in rtest_eigen: 0 errors, 0 warnings 23/23 tests passed Running tests in rtest_lsquares: 67/67 tests passed Running tests in rtest_pytranslate: 74/74 tests passed Running tests in rtest_odelin: WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNK in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/diffequations/odelin.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp 109/109 tests passed Running tests in rtestezunits: 285/285 tests passed Running tests in rtest_numericalio: 0 errors, 0 warnings 93/93 tests passed Running tests in rtest_simplify_sum: WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNK in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/diffequations/odelin.lisp WARNING: DEFUN/DEFMACRO: redefining function $POCHHAMMER in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp, was defined in top-level 85/85 tests passed (not counting 1 expected errors) Running tests in rtest_solve_rec: 33/33 tests passed Running tests in rtest_stringproc: 83/83 tests passed Running tests in rtest_md5sum: 2/2 tests passed Running tests in rtest_opproperties: 117/117 tests passed Running tests in rtest_stats: 0 errors, 0 warnings 14/14 tests passed Running tests in rtest_distrib: 86/86 tests passed Running tests in rtest_descriptive: 0 errors, 0 warnings WARNING: DEFUN/DEFMACRO: redefining function $CHOLESKY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/linearalgebra/linalgcholesky.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function $MATRIXEXP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/linearalgebra/matrixexp.lisp, was defined in top-level 0 errors, 2 warnings 175/175 tests passed Running tests in rtest_interpol: 18/18 tests passed Running tests in rtest_levin: 104/104 tests passed Running tests in rtest_fractals: 11/11 tests passed Running tests in rtest_bernstein: WARNING: DEFUN/DEFMACRO: redefining function SIMP-HYPERGEOMETRIC in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/hypergeometric/hypergeometric.lisp, was defined in top-level 44/44 tests passed Running tests in rtest_atensor: 20/20 tests passed Running tests in rtest_ctensor: 49/49 tests passed Running tests in rtest_itensor: WARNING: DEFUN/DEFMACRO: redefining function $NAME in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/tensor/itensor.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function DERIV in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/tensor/itensor.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/comm.fas WARNING: DEFUN/DEFMACRO: redefining function SDIFF in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/tensor/itensor.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/comm.fas WARNING: DEFUN/DEFMACRO: redefining function I-$DEPENDENCIES in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/tensor/itensor.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/comm.fas WARNING: DEFUN/DEFMACRO: redefining function $DECSYM in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/tensor/symtry.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function $CANFORM in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/tensor/symtry.lisp, was defined in top-level 58/58 tests passed Running tests in rtest_dgeqrf: 0 errors, 0 warnings 0 errors, 0 warnings 0 errors, 0 warnings 0 errors, 0 warnings 0 errors, 0 warnings 0 errors, 0 warnings WARNING: in DGEMM in lines 20..329 : variable NCOLA is assigned but not read WARNING: in ICAMAX in lines 20..71 : variable ZDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZGEMM in lines 20..573 : variable NCOLA is assigned but not read 0 errors, 3 warnings WARNING: in DLALN2 in lines 20..722 : variable CI is not used. Misspelled or missing IGNORE declaration? WARNING: in DLALN2 in lines 20..722 : variable CR is not used. Misspelled or missing IGNORE declaration? WARNING: in ILAENV in lines 20..465 : variable N3 is not used. Misspelled or missing IGNORE declaration? WARNING: in DBDSQR in lines 20..1300 : variable SMINLO is assigned but not read WARNING: in ZLADIV in lines 20..35 : variable DBLE$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLADIV in lines 20..35 : variable DIMAG$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAHQR in lines 20..725 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAHQR in lines 20..725 : variable DCONJG$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZGEHD2 in lines 20..111 : variable DCONJG$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZTREXC in lines 20..143 : variable DCONJG$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR2 in lines 20..489 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR2 in lines 20..489 : variable DCONJG$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR1 in lines 20..215 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR5 in lines 20..1884 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR4 in lines 20..628 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR3 in lines 20..521 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR3 in lines 20..521 : variable DCONJG$ is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLAQR0 in lines 20..653 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZGEBAL in lines 20..321 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZLATRS in lines 20..861 : variable ZDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZTREVC in lines 20..558 : variable CDUM is not used. Misspelled or missing IGNORE declaration? WARNING: in ZTREVC in lines 20..558 : variable DCMPLX$ is not used. Misspelled or missing IGNORE declaration? WARNING: in #:|20 134 (LET* (# #) (DECLARE # # ...) ...)-2| in lines 20..134 : Function ZLANGE was already defined in lines 20..134 0 errors, 23 warnings WARNING: in $ZHEEV in lines 373..427 : variable INFO is not used. Misspelled or missing IGNORE declaration? 0 errors, 1 warning WARNING: DEFUN/DEFMACRO: redefining function $CHOLESKY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/linearalgebra/linalgcholesky.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function $MATRIXEXP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/linearalgebra/matrixexp.lisp, was defined in top-level 0 errors, 2 warnings 15/15 tests passed Running tests in rtest_dgesv: 7/7 tests passed Running tests in rtest_dlsode: 0 errors, 0 warnings 0 errors, 0 warnings 0 errors, 0 warnings WARNING: in XERRWD in lines 20..59 : variable NMES is not used. Misspelled or missing IGNORE declaration? WARNING: in XERRWD in lines 20..59 : variable NERR is not used. Misspelled or missing IGNORE declaration? WARNING: in DSOLSY in lines 20..81 : variable TEM is not used. Misspelled or missing IGNORE declaration? WARNING: in XSETUN in lines 20..27 : variable JUNK is assigned but not read WARNING: in XSETF in lines 20..28 : variable JUNK is assigned but not read 0 errors, 5 warnings 0 errors, 0 warnings 22/22 tests passed Running tests in rtest_fourier_elim: 164/164 tests passed (not counting 4 expected errors) Running tests in rtest_sequence: 54/54 tests passed (not counting 1 expected errors) Running tests in rtest_cholesky: WARNING: DEFUN/DEFMACRO: redefining function $CHOLESKY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/linearalgebra/linalgcholesky.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function $MATRIXEXP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/linearalgebra/matrixexp.lisp, was defined in top-level 0 errors, 2 warnings 41/41 tests passed Running tests in rtest_eigens_by_jacobi: 24/24 tests passed Running tests in rtest_lu: 94/94 tests passed Running tests in rtest_linalg: 214/214 tests passed Running tests in rtest_matrixexp: 59/59 tests passed Running tests in rtest_romberg: 19/19 tests passed (not counting 2 expected errors) Running tests in rtest_wilcoxon: 29/29 tests passed Running tests in rtest_bitwise: 71/71 tests passed Running tests in rtest_gf: 10/10 tests passed Running tests in rtest_namespaces: WARNING: DEFUN/DEFMACRO: redefining function INTERN-INVERT-CASE in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/commac.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-ATOM in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function MAKESTRING in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function REMVALUE in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/suprv1.fas WARNING: DEFUN/DEFMACRO: redefining function KILL1 in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/suprv1.fas WARNING: DEFUN/DEFMACRO: redefining function MSIZE-ATOM in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/grind.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-PREFIX in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-INFIX in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-NARY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-POSTFIX in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-NOFIX in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas WARNING: DEFUN/DEFMACRO: redefining function DIMENSION-MATCH in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas ********************** Problem 18 (line 52) *************** Input: map(fundef, [f, g, hh, hh]) Result: 2 n x [f(x) := foo|my_constant sin(x), g(n) := expand((f(a) + n!) ), hh(x) := --, 2 2 x hh(x) := --] 2 This differed from the expected result: n [f(x) := foo|my_constant sin(x), g(n) := expand((f(a) + n!) ), 1 2 hh(x) := (-) x , hh(z) := f(z) - g(2)] 2 ********************** Problem 22 (line 67) *************** Input: hh(u - v) Result: 2 (u - v) -------- 2 This differed from the expected result: 2 (- 1729) sin(v - u) - 2989441 sin (a) + (- 6916) sin(a) - 4 ********************** Problem 25 (line 76) *************** Input: hh(u - v) Result: hh(u - v) This differed from the expected result: 2 (u - v) -------- 2 82/85 tests passed (not counting 1 expected errors) The following 3 problems failed: (18 22 25) Running tests in rtest_arag: 0 errors, 0 warnings 107/107 tests passed Running tests in rtest_pdiff: 90/90 tests passed Running tests in rtest_to_poly: ********************** Problem 13 (line 40) *************** Input: first(elim_allbut(first(to_poly(sqrt(a) = b)), [a, b])) Result: 2 [b - a] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 14 (line 43) *************** Input: first(elim_allbut(first(to_poly(sqrt(a) = sqrt(b))), [a, b])) Result: [b - a] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 15 (line 46) *************** Input: 1/3 first(elim_allbut(first(to_poly(a = b)), [a, b])) Result: 3 [b - a] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 16 (line 49) *************** Input: 1/42 first(elim_allbut(first(to_poly(a = b)), [a, b])) Result: 42 [b - a] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 17 (line 52) *************** Input: 1/4 1/3 first(elim_allbut(first(to_poly(a = b )), [a, b])) Result: 4 3 [b - a ] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 18 (line 57) *************** Input: first(elim_allbut(first(to_poly(abs(a) = b)), [a, b])) Result: 2 2 [b - a ] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 19 (line 60) *************** Input: first(elim_allbut(first(to_poly(abs(a) = abs(b))), [a, b])) Result: 2 2 [b - a ] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 20 (line 63) *************** Input: first(elim_allbut(first(to_poly(abs(1 - abs(1 - abs(a))))), [a])) Result: 2 [a (a - 4)] ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 25 (line 80) *************** Input: first(first(elim_allbut(first(to_poly((x - 1) (x - sqrt(2)) (x - sqrt(3)), [x, 1])), [x]))) Result: 2 3 2 (x - 3) (x - x - 2 x + 2) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. 16/16 tests passed (not counting 9 expected errors) The following 9 problems passed but were expected to fail: (13 14 15 16 17 18 19 20 25) Running tests in rtestprintf: 71/71 tests passed (not counting 6 expected errors) Running tests in rtest_simplex: 18/18 tests passed Running tests in rtest_graphs: 0 errors, 0 warnings 0 errors, 0 warnings 99/99 tests passed Running tests in rtest_abs_integrate: 255/255 tests passed (not counting 2 expected errors) Running tests in rtest_pochhammer: WARNING: DEFUN/DEFMACRO: redefining function $POCHHAMMER in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp, was defined in top-level 36/36 tests passed Running tests in rtest_to_poly_solve: ********************** Problem 12 (line 38) *************** Input: %solve(abs(x) = - 1, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 13 (line 41) *************** Input: %solve(abs(x) = 1, x) Result: %union([x = - 1], [x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 14 (line 44) *************** Input: %solve(abs(x) = 42.1, x) Result: 5925048259759309 5925048259759309 %union([x = - ----------------], [x = ----------------]) 140737488355328 140737488355328 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 15 (line 47) *************** Input: %solve(abs(x) = - 42.1, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 16 (line 50) *************** Input: %solve(abs(x) = 4.21b1, x) Result: 23700193039037235 23700193039037235 %union([x = - -----------------], [x = -----------------]) 562949953421312 562949953421312 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 17 (line 53) *************** Input: %solve(abs(x) = - 4.21b1, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 18 (line 56) *************** Input: %solve(abs(x) = a, x) Result: %union(%if(isnonnegative_p(a), [x = - a], %union()), %if(isnonnegative_p(a), [x = a], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 19 (line 59) *************** Input: !1 !1 !! !1 !1 !! %solve(!- - !- - x!! = !- - !- - sqrt(5)!!, x, simpfuncs = ['expand]) !5 !5 !! !5 !5 !! Result: 2 %union([x = - - sqrt(5)], [x = sqrt(5)]) 5 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 20 (line 62) *************** Input: %solve(abs(x - 1) = 2, x) Result: %union([x = - 1], [x = 3]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 21 (line 65) *************** Input: %solve(abs(2 x + 5) = abs(x - 2), x) Result: %union([x = - 7], [x = - 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 22 (line 68) *************** Input: %solve(1 - abs(x) = max((- x) - 2, x - 2), x) Result: 3 3 %union([x = - -], [x = -]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 23 (line 73) *************** Input: %solve(max(x, 1) = 2, x) Result: %union([x = 2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 24 (line 76) *************** Input: 1 %solve(max(x, 1) = -, x) 2 Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 25 (line 79) *************** Input: sol : %solve(max(x, 1) = a, x) Result: %union(%if(isnonnegative_p(a - 1), [x = a], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 26 (line 82) *************** Input: 1 subst(a = -, sol) 2 Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 27 (line 85) *************** Input: subst(a = 2, sol) Result: %union([x = 2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 28 (line 88) *************** Input: %solve(min(x, 1) = 2, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 29 (line 91) *************** Input: 1 %solve(min(x, 1) = -, x) 2 Result: 1 %union([x = -]) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 30 (line 94) *************** Input: sol : %solve(min(x, 1) = a, x) Result: %union(%if(isnonnegative_p(1 - a), [x = a], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 31 (line 97) *************** Input: 1 subst(a = -, sol) 2 Result: 1 %union([x = -]) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 32 (line 100) *************** Input: subst(a = 2, sol) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 33 (line 103) *************** Input: 3 2 x %solve(max(2 - x , x) = max(- x, --), x) 9 Result: %union([x = - 1], [x = 3]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 34 (line 106) *************** Input: 3 2 x %solve(max(2 - x , x) = --, x, 'algexact = false) 9 Result: %union([x = - 3], [x = - 1.55489417989418], [x = 3]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 35 (line 109) *************** Input: 2 %solve(max(x, x ) = 1, x) Result: %union([x = - 1], [x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 36 (line 112) *************** Input: 2 %solve(min(x, x ) = 1, x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 37 (line 115) *************** Input: %solve([max(x, y) = a, min(x, y) = b], [x, y]) Result: %union(%if(isnonnegative_p(a - b), [x = a, y = b], %union()), %if(isnonnegative_p(a - b), [x = b, y = a], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 38 (line 118) *************** Input: %solve([max(x, 1) + min(x, y) = 7, x - y = a], [x, y], simpfuncs = ['expand]) Result: %union(%if((isnonnegative_p((- a) - 5)) %and (isnonnegative_p(a)), a 5 [x = a + 6, y = 6], %union()), %if((isnonnegative_p(- + -)) 2 2 a 7 7 a %and (isnonnegative_p(a)), [x = - + -, y = - - -], %union()), 2 2 2 2 7 7 %if(isnonnegative_p(- a), [x = -, y = - - a], %union())) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 39 (line 123) *************** Input: %solve(sqrt(x) = 1 + %i, x) Result: %union([x = 2 %i]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 40 (line 126) *************** Input: %solve(sqrt(x) = (- 1) + %i, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 41 (line 129) *************** Input: %solve(sqrt(x) = a, x) Result: %pi %pi 2 %union(%if((- --- < parg(a)) %and (parg(a) <= ---), [x = a ], %union())) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 42 (line 132) *************** Input: 1/3 %solve(x = - 1, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 43 (line 135) *************** Input: 1/3 %solve(x = 1 + %i, x) Result: %union([x = 2 %i - 2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 44 (line 138) *************** Input: 1/3 %solve(x = a, x) Result: %pi %pi 3 %union(%if((- --- < parg(a)) %and (parg(a) <= ---), [x = a ], %union())) 3 3 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 45 (line 141) *************** Input: 2 %solve(sqrt(x + 1) = x - 2, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 46 (line 144) *************** Input: %solve(x + sqrt(x) = 2, x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 47 (line 147) *************** Input: 1/4 %solve(2 sqrt(x) + 3 x - 2 = 0, x) Result: 1 %union([x = --]) 16 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 49 (line 153) *************** Input: sol : %solve(sqrt(x) - sqrt(1 - x) = a, x, simpfuncs = ['expand]) Result: 2 %pi a - sqrt(2 - a ) %union(%if((- --- < parg(- ----------------)) 2 2 2 %pi 2 a - sqrt(2 - a ) %pi %and (- --- < parg(sqrt(2 - a ) + a)) %and (parg(- ----------------) <= ---) 2 2 2 2 2 %pi a sqrt(2 - a ) 1 %and (parg(sqrt(2 - a ) + a) <= ---), [x = -------------- + -], %union()), 2 2 2 2 %pi 2 %pi sqrt(2 - a ) + a %if((- --- < parg(a - sqrt(2 - a ))) %and (- --- < parg(- ----------------)) 2 2 2 2 2 %pi sqrt(2 - a ) + a %pi %and (parg(a - sqrt(2 - a )) <= ---) %and (parg(- ----------------) <= ---), 2 2 2 2 1 a sqrt(2 - a ) [x = - - --------------], %union())) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 50 (line 156) *************** Input: [subst(a = - 10, sol), subst(a = - 1, sol), subst(a = 0, sol), subst(a = 1, sol), subst(a = 10, sol)] Result: 1 [%union(), %union([x = 0]), %union([x = -]), %union([x = 1]), %union()] 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 70 (line 224) *************** Input: nicedummies(%solve(sin(sqrt(x)) = 0, x)) Result: %pi %pi 2 2 %union(%if((- --- < parg(%z0)) %and (parg(%z0) <= ---), [x = %pi %z0 ], 2 2 %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 72 (line 230) *************** Input: 1/3 1/3 block([domain : complex], (%solve(x = a , x), subst(a = - 1, %%))) Result: %union([x = - 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 73 (line 233) *************** Input: 1/3 1/3 (%solve(x = a , x), subst(a = 1, %%)) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 76 (line 242) *************** Input: subst(a = 7, sol) Result: %union([x = - 7], [x = 7]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 77 (line 245) *************** Input: subst(a = %i, sol) Result: %union([x = - 1], [x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 78 (line 248) *************** Input: (assume(abs(a) < 1), %solve([abs(1 - abs(x)) = abs(1 - abs(a))], [x])) Result: %union([x = 2 - abs(a)], [x = abs(a) - 2], [x = - abs(a)], [x = abs(a)]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 86 (line 275) *************** Input: %solve([abs(x) = abs(a)], [x]) Result: %union([x = - abs(a)], [x = abs(a)]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 87 (line 278) *************** Input: %solve([abs(1 - abs(x)) = abs(1 - abs(a))], [x]) Result: %union(%if(isnonnegative_p(1 - abs(abs(a) - 1)), [x = 1 - abs(abs(a) - 1)], %union()), %if(isnonnegative_p(1 - abs(abs(a) - 1)), [x = abs(abs(a) - 1) - 1], %union()), [x = (- abs(abs(a) - 1)) - 1], [x = abs(abs(a) - 1) + 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 88 (line 281) *************** Input: 3/2 %solve(x = a, x) Result: %pi 1/3 %union(%if((- --- < parg((sqrt(3) %i - 1) a )) 2 2/3 1/3 %pi (sqrt(3) %i + 1) a %and (parg((sqrt(3) %i - 1) a ) <= ---), [x = - ---------------------], 2 2 1/3 %pi (sqrt(3) %i + 1) a %union()), %if((- --- < parg(- ---------------------)) 2 2 1/3 2/3 (sqrt(3) %i + 1) a %pi (sqrt(3) %i - 1) a %and (parg(- ---------------------) <= ---), [x = ---------------------], 2 2 2 %pi parg(a) parg(a) %pi 2/3 %union()), %if((- --- < -------) %and (------- <= ---), [x = a ], %union())) 2 3 3 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 89 (line 284) *************** Input: !! 1! 1! %solve(!!x - -! - -! = sqrt(5), [x]) !! 5! 5! Result: 3/2 5 + 2 %union([x = - sqrt(5)], [x = --------]) 5 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 90 (line 287) *************** Input: %solve(abs(x) = sqrt(5), [x]) Result: %union([x = - sqrt(5)], [x = sqrt(5)]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 96 (line 307) *************** Input: %solve(23 = sqrt(1 - x) sqrt(x + 1) + %i x, x, simpfuncs = ['rectform]) Result: 264 %i %union([x = - ------]) 23 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 97 (line 311) *************** Input: 2 %i %pi %solve(log(sqrt(1 - x ) + %i x) = ------, x) 6 Result: 1 %union([x = -]) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 120 (line 401) *************** Input: 2 %solve(sqrt(x + 1) = 2 - x, x) Result: 3 %union([x = -]) 4 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 124 (line 415) *************** Input: 2 %solve(sqrt(x + 1) = x - 2, x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 125 (line 418) *************** Input: %solve(x + sqrt(x) = 2, x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 126 (line 421) *************** Input: 1/4 %solve(2 sqrt(x) + 3 x - 2 = 0, x) Result: 1 %union([x = --]) 16 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 127 (line 424) *************** Input: %solve(sqrt(log(x)) = log(sqrt(x)), x) Result: 4 %union([x = 1], [x = %e ]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 128 (line 433) *************** Input: %solve(abs(x - 1) = 2, x) Result: %union([x = - 1], [x = 3]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 129 (line 436) *************** Input: %solve(abs(2 x + 5) = abs(x - 2), x) Result: %union([x = - 7], [x = - 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 130 (line 439) *************** Input: %solve(1 - abs(x) = max((- x) - 2, x - 2), x) Result: 3 3 %union([x = - -], [x = -]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 134 (line 459) *************** Input: %solve(sqrt(log(x)) = log(sqrt(x)), x) Result: 4 %union([x = 1], [x = %e ]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 135 (line 464) *************** Input: (declare(z, complex), %solve((1 + %i) z + (2 - %i) conjugate(z) = (- 3) %i, z, 'simpfuncs = ['rectform])) Result: %union([z = 3 %i + 2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 136 (line 467) *************** Input: %solve(z + (5 - %i) conjugate(z) = 42, z, simpfuncs = ['rectform]) Result: 168 42 %i %union([z = --- - -----]) 25 25 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 138 (line 473) *************** Input: %solve(z + z conjugate(z) = 23, z, 'simpfuncs = ['expand]) Result: sqrt(93) 1 sqrt(93) 1 %union([z = (- --------) - -], [z = -------- - -]) 2 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 139 (line 476) *************** Input: %solve(z + z realpart(z) = 23, z) Result: sqrt(93) - 1 sqrt(93) + 1 %union([z = ------------], [z = - ------------]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 142 (line 488) *************** Input: (eqn1 : x + y + z = 6, eqn2 : 2 x + y + 2 z = 10, eqn3 : x + 3 y + z = 10, nicedummies(%solve([eqn1, eqn2, eqn3], [x, y, z]))) Result: %union([x = %c0, y = 2, z = 4 - %c0]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 143 (line 494) *************** Input: %solve(a + x - sqrt(x), x, simpfuncs = ['expand]) Result: %pi sqrt(1 - 4 a) - 1 %union(%if((- --- < parg(- -----------------)) 2 2 sqrt(1 - 4 a) - 1 %pi sqrt(1 - 4 a) 1 %and (parg(- -----------------) <= ---), [x = (- a) - ------------- + -], 2 2 2 2 sqrt(1 - 4 a) 1 %union()), [x = (- a) + ------------- + -]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 144 (line 503) *************** Input: %solve(x - 2 sqrt(x) = 10, x) Result: %union([x = 2 sqrt(11) + 12]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 146 (line 510) *************** Input: nicedummies(%solve([y sin(x) = 0, cos(x) = 0], [x, y])) Result: 2 %pi %z0 + %pi %union([x = ---------------, y = 0]) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 148 (line 518) *************** Input: %solve([abs(a00 - 4 a02) = 1, abs(a00 - 4 a01 + 4 a02) = 1, abs(a00 + 4 a01 + 4 a02) = 1], [a00, a01, a02]) Result: 1 1 1 %union([a00 = - 1, a01 = 0, a02 = 0], [a00 = - -, a01 = - -, a02 = -], 2 4 8 1 1 1 1 [a00 = - -, a01 = -, a02 = -], [a00 = 0, a01 = 0, a02 = - -], 2 4 8 4 1 1 1 1 [a00 = 0, a01 = 0, a02 = -], [a00 = -, a01 = - -, a02 = - -], 4 2 4 8 1 1 1 [a00 = -, a01 = -, a02 = - -], [a00 = 1, a01 = 0, a02 = 0]) 2 4 8 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 149 (line 524) *************** Input: %solve(x - sqrt(x) + a, x, 'simpfuncs = ['expand]) Result: %pi sqrt(1 - 4 a) - 1 %union(%if((- --- < parg(- -----------------)) 2 2 sqrt(1 - 4 a) - 1 %pi sqrt(1 - 4 a) 1 %and (parg(- -----------------) <= ---), [x = (- a) - ------------- + -], 2 2 2 2 sqrt(1 - 4 a) 1 %union()), [x = (- a) + ------------- + -]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 157 (line 551) *************** Input: %solve([x = 2, y = x + 3, y = 1], [x, y]) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 158 (line 554) *************** Input: %solve([x = 2, y = 3, y = 1], [x, y]) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 159 (line 559) *************** Input: %solve(x - 2 sqrt(x) = 10, x) Result: %union([x = 2 sqrt(11) + 12]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 162 (line 571) *************** Input: 2 %solve(2 x = sqrt(x + 3), x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 163 (line 575) *************** Input: 2 2 2 2 x 2 x y %solve([log(y + x ) + ------- = 0, -------], [x, y]) 2 2 2 2 y + x y + x Result: - 1 %union([x = 0, y = - 1], [x = 0, y = 1], [x = - %e , y = 0], - 1 [x = %e , y = 0]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 164 (line 579) *************** Input: 3 10 q 5 q %solve([------------ - ----------- = 5.07], [q], 'algexact = false) 2 2 3/2 sqrt(q + 3) (q + 3) Result: %union([q = 1.423962227031281], [q = 10.01077844311377], [q = - 2.201201253088263 %i]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 165 (line 585) *************** Input: %solve([x2 = x cos(phi) - y sin(phi), y2 = x sin(phi) + y cos(phi)], [x, y], 'simpfuncs = ['trigreduce]) Result: %union([x = sin(phi) y2 + cos(phi) x2, y = cos(phi) y2 - sin(phi) x2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 169 (line 610) *************** Input: 2 2 2 2 2 2 %solve([x + y = 2 , (x - 1) + (y - 1) = 2 ], [x, y], 'use_grobner = true, 'simpfuncs = ['expand]) Result: 1 sqrt(7) sqrt(7) 1 sqrt(7) 1 1 sqrt(7) %union([x = - - -------, y = ------- + -], [x = ------- + -, y = - - -------]) 2 2 2 2 2 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 173 (line 624) *************** Input: %solve([x + 3 y = 5, sqrt(x + y) - 1 = y], [x, y]) Result: 3/2 3/2 %union([x = 11 - 3 2 , y = 2 - 2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 179 (line 644) *************** Input: 3/2 %solve(x = 1, x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 180 (line 647) *************** Input: 4/3 %solve(x = 1, x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 181 (line 650) *************** Input: 5/3 %solve(x = 1, x) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 196 (line 701) *************** Input: %solve([x + x y = a, x y = 8], [x, x y]) Result: %union([x y = 8, x = a - 8]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 197 (line 704) *************** Input: %solve([x + x y = a, x y = 8 + z, x - z + 78], [x, x y, z]) Result: a + 86 a - 86 a + 70 %union([x y = ------, x = ------, z = ------]) 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 198 (line 707) *************** Input: 2 %solve([abs(x y - 1) = a, a - x y], [x y, a]) Result: sqrt(5) - 3 sqrt(5) - 1 %union([x y = - -----------, a = -----------], 2 2 sqrt(5) + 3 sqrt(5) + 1 [x y = -----------, a = -----------]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 199 (line 711) *************** Input: %solve([m x = b], [x], 'parameters = [m, b], 'simpfuncs = ['nicedummies]) Result: %union(%if((b = 0) %and (m = 0), [x = %c0], %union()), b %if(m # 0, [x = -], %union())) m ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 200 (line 714) *************** Input: 2 2 2 %solve([y + x = a , y + x = 1], [x, y], 'parameters = [a, b], 'simpfuncs = ['nicedummies, 'expand]) Result: 2 2 2 sqrt(2 a - 1) - 1 sqrt(2 a - 1) + 1 %union(%if(2 a - 1 # 0, [x = - ------------------, y = ------------------], 2 2 2 2 sqrt(2 a - 1) + 1 %union()), %if(2 a - 1 # 0, [x = ------------------, 2 2 sqrt(2 a - 1) - 1 1 y = - ------------------], %union()), %if((a = - -------) %and (b = %c0), 2 sqrt(2) 1 1 1 1 1 [x = -, y = -], %union()), %if((a = -------) %and (b = %c0), [x = -, y = -], 2 2 sqrt(2) 2 2 %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 201 (line 720) *************** Input: %solve([x + y = a, x + y = b], [x, y], 'parameters = [a], 'simpfuncs = ['nicedummies]) Result: %union(%if(b - a = 0, [x = %c0, y = b - %c0], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 202 (line 723) *************** Input: %solve([x + y = a, x + a y = b], [x, y], 'parameters = [a, b], 'simpfuncs = ['nicedummies, 'expand]) Result: 2 b - a b - a %union(%if(a - 1 # 0, [x = - ------, y = -----], %union()), a - 1 a - 1 %if((a = 1) %and (b = 1), [x = %c0, y = 1 - %c0], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 203 (line 726) *************** Input: %solve([y + b x = a, a y + x = b], [x, y], 'parameters = [], 'simpfuncs = ['nicedummies, 'ratsimp]) Result: 2 2 b - a b - a %union([x = - -------, y = -------]) a b - 1 a b - 1 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 204 (line 729) *************** Input: %solve([y + x = a, a y + x = b], [x, y], 'parameters = [a, b], 'simpfuncs = ['nicedummies, 'expand]) Result: 2 b - a b - a %union(%if(a - 1 # 0, [x = - ------, y = -----], %union()), a - 1 a - 1 %if((a = 1) %and (b = 1), [x = %c0, y = 1 - %c0], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 207 (line 744) *************** Input: %solve([x + y = 1, sqrt(x + 1) = 1], [x, y]) Result: %union([x = 0, y = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 208 (line 748) *************** Input: 2 2 2 2 2 2 %solve([x + y = 2 , (x - 1) + (y - 1) = 2 ], [x, y], 'use_grobner = true, 'simpfuncs = ['expand]) Result: 1 sqrt(7) sqrt(7) 1 sqrt(7) 1 1 sqrt(7) %union([x = - - -------, y = ------- + -], [x = ------- + -, y = - - -------]) 2 2 2 2 2 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 214 (line 781) *************** Input: %solve([a = b, b = 3], [a], 'parameters = [b]) Result: %union(%if(b - 3 = 0, [a = 3], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 215 (line 785) *************** Input: %solve([x = 1, x = 2], x) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 217 (line 797) *************** Input: 2 t 2 2 t 2 2 t nicedummies(%solve(sqrt(%e sin (t) + %e cos (t) + 3 %e ) = 2, t)) Result: %union([t = %i %pi %z0]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 222 (line 819) *************** Input: 2 2 2 2 %solve((4 k - 4) y + (4 - 4 k ) y + 6 k - 1, y, 'parameters = [k]) Result: %union(%if((k - 1 # 0) %and (k # 0) %and (k + 1 # 0), 2 2 sqrt(5) k sqrt(1 - k ) - k + 1 [y = - -------------------------------], %union()), 2 2 k - 2 %if((k - 1 # 0) %and (k # 0) %and (k + 1 # 0), 2 2 sqrt(5) k sqrt(1 - k ) + k - 1 [y = -------------------------------], %union()), 2 2 k - 2 1 %if(k = 0, [y = -], %union())) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 233 (line 861) *************** Input: 1 %solve(x = sqrt(x) - -, x, 'simpfuncs = ['nicedummies]) 4 Result: 1 %union([x = -]) 4 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 234 (line 864) *************** Input: %solve(x = sqrt(x) + a %i, x, 'simpfuncs = ['nicedummies]) Result: %pi sqrt(4 %i a + 1) - 1 %union(%if((- --- < parg(- --------------------)) 2 2 sqrt(4 %i a + 1) - 1 %pi %and (parg(- --------------------) <= ---), 2 2 sqrt(4 %i a + 1) - 2 %i a - 1 [x = - -----------------------------], %union()), 2 %pi %if((- --- < parg(sqrt(4 %i a + 1) + 1)) 2 %pi %and (parg(sqrt(4 %i a + 1) + 1) <= ---), 2 sqrt(4 %i a + 1) + 2 %i a + 1 [x = -----------------------------], %union())) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 241 (line 889) *************** Input: 3/2 (- 1) + %i block([algebraic : true], %solve(x = ----------, x, sqrt(2) simpfuncs = ['rectform])) Result: %i sqrt(3) %union([x = (- --) - -------], [x = %i]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 243 (line 895) *************** Input: 3/2 block([algebraic : true], %solve(x = - 1, x, simpfuncs = ['rectform])) Result: sqrt(3) %i 1 sqrt(3) %i 1 %union([x = (- ----------) - -], [x = ---------- - -]) 2 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 244 (line 898) *************** Input: 3/2 block([algebraic : true], %solve(x = 1, x, simpfuncs = ['rectform])) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 253 (line 928) *************** Input: %solve([x + 2 y = 5, 2 x - y = 5], [x, y]) Result: %union([x = 3, y = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 262 (line 955) *************** Input: 1 %solve(asin(sqrt(x)) = -, x, 'simpfuncs = ['expand, 'demoivre, 'expand]) 5 Result: 2 1 %union([x = sin (-)]) 5 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 263 (line 958) *************** Input: 1 %solve(acos(sqrt(x)) = -, x, 'simpfuncs = ['expand, 'demoivre, 'expand]) 5 Result: 2 1 %union([x = cos (-)]) 5 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 268 (line 974) *************** Input: nicedummies(%solve(a, x, 'parameters = [])) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 273 (line 989) *************** Input: %solve(abs(x) e = 10, [x]) Result: 10 10 %union(%if(isnonnegative_p(--), [x = - --], %union()), e e 10 10 %if(isnonnegative_p(--), [x = --], %union())) e e ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 274 (line 993) *************** Input: %solve(z conjugate(z) + 3 (z - conjugate(z)) = 13 + 12 %i, z) Result: %union([z = 2 %i - 3], [z = 2 %i + 3]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 277 (line 1004) *************** Input: 2 2 2 nicedummies(%solve([x + a y = 0, a x + b y = 0, a x + a b y = 0], [x, y], 'parameters = ['a, 'b])) Result: %union(%if((a = 0) %and (b = 0), [x = 0, y = %c6], %union()), %if((a = %c0) %and (b = %c0), [x = - %c0 %c1, y = %c1], %union()), %if((a = %c2) %and (b = - %c2), [x = - %c2 %c3, y = %c3], %union()), %if((a = %c4) %and (b = %c5), [x = 0, y = 0], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 278 (line 1007) *************** Input: nicedummies(%solve(a x = 0, [x], 'parameters = ['a])) Result: %union(%if(a = 0, [x = %c0], %union()), %if(a # 0, [x = 0], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 282 (line 1021) *************** Input: 1 %solve(min(x, 1) = -, x) 2 Result: 1 %union([x = -]) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 283 (line 1024) *************** Input: %solve(min(x, 1) = a, x) Result: %union(%if(isnonnegative_p(1 - a), [x = a], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 284 (line 1028) *************** Input: %solve([sqrt(x) - 1], [x]) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 285 (line 1031) *************** Input: 1/3 %solve([x = 1], [x]) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 286 (line 1034) *************** Input: 1/4 %solve([x = 1], [x]) Result: %union([x = 1]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 287 (line 1037) *************** Input: %solve([max(x, 1) - 5], [x]) Result: %union([x = 5]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 288 (line 1040) *************** Input: %solve([min(x, 1) = max(2, 7 - x)], [x]) Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 289 (line 1043) *************** Input: %solve([abs(1 - abs(1 - abs(x))) = 42], [x]) Result: %union([x = - 44], [x = 44]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 290 (line 1046) *************** Input: %solve([sqrt(x) = 10 - sqrt(x - 1)], [x]) Result: 10201 %union([x = -----]) 400 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 291 (line 1049) *************** Input: %solve([sqrt(x) = min(x, 35)], [x]) Result: %union([x = 0], [x = 1], [x = 1225]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 292 (line 1052) *************** Input: %solve([sqrt(x - y) = 2, sqrt(x + y) = 5], [x, y]) Result: 29 21 %union([x = --, y = --]) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 295 (line 1065) *************** Input: nicedummies(%solve([x + y = p1 - p2, x + 3 y = p2 - p3, 3 x - y = p1 + p2 + p3], [x, y], 'parameters = [p1, p2, p3])) Result: %union(%if((p1 = %c0) %and (p2 = %c1) %and (p3 = 8 %c1 - 4 %c0), 4 %c1 - %c0 6 %c1 - 3 %c0 [x = -----------, y = - -------------], %union())) 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 296 (line 1069) *************** Input: 2 subst(a = 1, %solve(log(x + sqrt(x - 1)) = a, x)) Result: - 1 2 %e (%e + 1) %union([x = ---------------]) 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 299 (line 1079) *************** Input: sqrt(x) - 1 %solve(-----------, x) x - 1 Result: %union() ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 300 (line 1082) *************** Input: 2 (x - 2) (sqrt(x) - 1) %solve(----------------------, x) x - 1 Result: %union([x = - sqrt(2)], [x = sqrt(2)]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 311 (line 1130) *************** Input: %solve([a = 3 + x, b = 1 - x, x = 2], [x], 'parameters = [a, b]) Result: %union(%if((a = 5) %and (b = - 1), [x = 2], %union())) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 318 (line 1151) *************** Input: %solve(log(x - sqrt(x - 1)) = 0, x) Result: %union([x = 1], [x = 2]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. 185/185 tests passed (not counting 157 expected errors) The following 127 problems passed but were expected to fail: (12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 49 50 70 72 73 76 77 78 86 87 88 89 90 96 97 120 124 125 126 127 128 129 130 134 135 136 138 139 142 143 144 146 148 149 157 158 159 162 163 164 165 169 173 179 180 181 196 197 198 199 200 201 202 203 204 207 208 214 215 217 222 233 234 241 ...) Running tests in rtest_hg: 187/187 tests passed (not counting 1 expected errors) Running tests in rtest_sym: WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNK in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/diffequations/odelin.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/orthopoly/orthopoly.lisp 58/58 tests passed (not counting 2 expected errors) Running tests in rtest_nfloat: 50/50 tests passed (not counting 1 expected errors) Running tests in rtest_mnewton: 17/17 tests passed Running tests in rtest_solve_rat_ineq: 17/17 tests passed Running tests in rtest_vect: ********************** Problem 19 (line 71) *************** Input: ev(vectorsimp(div (u a)) - (u div a + grad u . a), expandall : true) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. 61/61 tests passed (not counting 10 expected errors) The following 1 problem passed but was expected to fail: (19) Running tests in rtest_antid: 11/11 tests passed Running tests in rtest_bffac: 16/16 tests passed Running tests in rtest_diff_form: WARNING: DEFUN/DEFMACRO: redefining function MRELATIONP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/format/format.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/compar.fas 43/43 tests passed Running tests in rtest_grobner: 33/33 tests passed Running tests in rtest_finance: 0 errors, 0 warnings 17/17 tests passed Running tests in rtest_fft: 0 errors, 0 warnings 99/99 tests passed Running tests in rtest_rfft: 46/46 tests passed Running tests in rtest_decfp: WARNING: DEFUN/DEFMACRO: redefining function DIM-BIGFLOAT in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: DEFUN/DEFMACRO: redefining function BIGFLOATP in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: DEFUN/DEFMACRO: redefining function BIGFLOAT2RAT in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: DEFUN/DEFMACRO: redefining function FP2FLO in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: DEFUN/DEFMACRO: redefining function $BFLOAT in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: Function DECFP2BINFP is not defined WARNING: Function DECFP2BINFP is not defined WARNING: Function DECFP2BINFP is not defined WARNING: Function DECFP2BINFP is not defined WARNING: Function DECFP2BINFP is not defined WARNING: DEFUN/DEFMACRO: redefining function TIMESBIGFLOAT in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: DEFUN/DEFMACRO: redefining function INVERTBIGFLOAT in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/float.fas WARNING: DEFUN/DEFMACRO: redefining function MAKE-NUMBER in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/nparse.fas WARNING: DEFUN/DEFMACRO: redefining function $RATIONALIZE in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/maxmin.fas WARNING: DEFUN/DEFMACRO: redefining function BIG-FLOAT-EVAL in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/trigi.fas WARNING: DEFUN/DEFMACRO: redefining function $REMAINDER in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/rat3e.fas WARNING: DEFUN/DEFMACRO: redefining function BIGFLOAT in /home/maxima/.maxima/binary/branch_5_45_base_282_g08d17ea8c/clisp/2_49_60___2017_06_25___built_3726566601___memory_3847141634_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/numeric.fas 0 errors, 12 warnings 5/5 tests passed Running tests in rtest_wrstcse: 12/12 tests passed Running tests in rtest_draw: 3 frames in animation sequence 132/132 tests passed Running tests in rtest_engineering_format: WARNING: DEFUN/DEFMACRO: redefining function EXPLODEN in /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/engineering-format.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/commac.fas 16/16 tests passed Error summary: Error(s) found: /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/contrib/namespaces/rtest_namespaces.mac problems: (18 22 25) Tests that were expected to fail but passed: /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/to_poly_solve/rtest_to_poly.mac problems: (13 14 15 16 17 18 19 20 25) /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/to_poly_solve/rtest_to_poly_solve.mac problems: (12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 49 50 70 72 73 76 77 78 86 87 88 89 90 96 97 120 124 125 126 127 128 129 130 134 135 136 138 139 142 143 144 146 148 149 157 158 159 162 163 164 165 169 173 179 180 181 196 197 198 199 200 201 202 203 204 207 208 214 215 217 222 233 234 241 243 244 253 262 263 268 273 274 277 278 282 283 284 285 286 287 288 289 290 291 292 295 296 299 300 311 318) /home/maxima/maxima-test/installroot/share/maxima/branch_5_45_base_282_g08d17ea8c/share/vector/rtest_vect.mac problem: (19) 3 tests failed out of 4,541 total tests. Real time: 1768.0488f0 sec. Run time: 1487.7671f0 sec. Space: 34744383176 Bytes GC: 5665, GC time: 101.68535f0 sec. (%o0) done