Maxima branch_5_42_base_407_g8b77b1b40 http://maxima.sourceforge.net 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 3756853738): 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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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 13/13 tests passed Running tests in rtest_odelin: WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNK in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/diffequations/odelin.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/orthopoly/orthopoly.lisp 105/105 tests passed Running tests in rtestezunits: 280/280 tests passed Running tests in rtest_numericalio: 0 errors, 0 warnings 69/69 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_42_base_407_g8b77b1b40/share/orthopoly/orthopoly.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/diffequations/odelin.lisp WARNING: DEFUN/DEFMACRO: redefining function $POCHHAMMER in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/orthopoly/orthopoly.lisp, was defined in top-level 76/76 tests passed (not counting 1 expected errors) Running tests in rtest_solve_rec: 30/30 tests passed Running tests in rtest_stringproc: 82/82 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 $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function $CHOLESKY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/share/linearalgebra/matrixexp.lisp, was defined in top-level 0 errors, 3 warnings 109/109 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_42_base_407_g8b77b1b40/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: 45/45 tests passed Running tests in rtest_itensor: WARNING: DEFUN/DEFMACRO: redefining function $NAME in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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 $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function $CHOLESKY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/share/linearalgebra/matrixexp.lisp, was defined in top-level 0 errors, 3 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: WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/to_poly_solve/to_poly.lisp WARNING: DEFUN/DEFMACRO: redefining macro OPCONS in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/nummod.fas WARNING: DEFUN/DEFMACRO: redefining function CARTESIAN-PRODUCT in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/multiadditive/multiadditive.lisp 145/145 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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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: 52/52 tests passed Running tests in rtest_linalg: 214/214 tests passed Running tests in rtest_polynomialp: 15/15 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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/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_42_base_407_g8b77b1b40/share/contrib/namespaces/namespaces.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/displa.fas 85/85 tests passed (not counting 1 expected errors) Running tests in rtest_arag: 0 errors, 0 warnings 107/107 tests passed Running tests in rtest_pdiff: ********************** Problem 62 (line 197) *************** Input: 2 2 d y dy n ev((de : 4 x --- + 4 x -- + (x - 1) y = 0, de : subst(g(x ), y, de), 2 dx dx 1/n de : ev(de, diff), de : radcan(subst(x , x, de)), 1 de : block([ctxt : newcontext(), foo], assume(x >= 0), foo : subst(-, n, de), 2 killcontext(ctxt), foo), convert_to_diff(de)), logexpand) Result: 2 2 d d 2 x (--- (g(x))) + x (-- (g(x))) + (x - 1) g(x) = 0 2 dx dx ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. 89/89 tests passed (not counting 1 expected errors) The following 1 problem passed but was expected to fail: (62) Running tests in rtest_to_poly: WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/to_poly_solve/to_poly.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp 16/16 tests passed (not counting 9 expected errors) Running tests in rtestprintf: 65/65 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: WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/to_poly_solve/to_poly.lisp ********************** Problem 107 (line 338) *************** Input: a b e : integrate(x (1 - x) , x) Result: - (hypergeometric([- a, b + 1], [b + 2], 1 - x) (1 - x) a log(x) + b log(1 - x) a %e )/((b + 1) x ) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 108 (line 341) *************** Input: a b rat(hypergeometric_simp(subst([a = 1, b = 3], x (1 - x) - diff(e, x))), x) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 109 (line 344) *************** Input: a b rat(hypergeometric_simp(subst([a = 2, b = 3], x (1 - x) - diff(e, x))), x) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 110 (line 347) *************** Input: a b rat(hypergeometric_simp(subst([a = 2, b = 4], x (1 - x) - diff(e, x))), x) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 111 (line 350) *************** Input: a b rat(hypergeometric_simp(subst([a = - 4, b = 3], x (1 - x) - diff(e, x))), x) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 112 (line 354) *************** Input: ratsimp(hypergeometric_simp(hyper_int(sqrt(x) (1 - x), x) - integrate(sqrt(x) (1 - x), x))) Result: 4 - -- 15 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 113 (line 357) *************** Input: 14 5 3 rat(hypergeometric_simp(hyper_int(5 x (1 - x ) , x) 14 5 3 - integrate(5 x (1 - x ) , x))) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 114 (line 360) *************** Input: 4 e : hyper_int(4 x sqrt(1 - x ), x) Result: 1 1 3 4 2 2 hypergeometric([- -, -], [-], x ) x 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 115 (line 363) *************** Input: 4 taylor(diff(e, x), x, 0, 15) - 4 x sqrt(1 - x ) Result: 0 + . . . ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 116 (line 366) *************** Input: 5/2 7 e : hyper_int(7 x sqrt(1 - x ), x) Result: 1 1 3 7 7/2 2 hypergeometric([- -, -], [-], x ) x 2 2 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 117 (line 369) *************** Input: 5/2 7 taylor(diff(e, x), x, 0, 15) - 7 x sqrt(1 - x ) Result: 0 + . . . ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 118 (line 372) *************** Input: 2 (x - 1) (x + 1) (x + 1) rat(hypergeometric_simp(hyper_int(------------------------, x)) 3 x 2 (x - 1) (x + 1) (x + 1) - integrate(------------------------, x)) 3 x Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 119 (line 375) *************** Input: - x logcontract(hypergeometric_simp(hyper_int(------------, x) 2 x - 2 x + 1 - x - integrate(------------, x))) 2 x - 2 x + 1 Result: log(- 1) + 1 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 120 (line 378) *************** Input: 2 - x logcontract(hypergeometric_simp(hyper_int(------------, x) 2 x - 2 x + 1 2 - x - integrate(------------, x))) 2 x - 2 x + 1 Result: 1 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 121 (line 381) *************** Input: 3 - x logcontract(hypergeometric_simp(hyper_int(------------, x) 2 x - 2 x + 1 3 - x - integrate(------------, x))) 2 x - 2 x + 1 Result: log(- 1) + 1 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 123 (line 387) *************** Input: logcontract(hypergeometric_simp(hyper_int(e, x) - integrate(e, x))) Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 125 (line 393) *************** Input: logcontract(hypergeometric_simp(hyper_int(e, x) - integrate(e, x))) Result: THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW log(16) - 3 - ----------- 2 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 126 (line 397) *************** Input: 2 1/3 2 sqrt(x) (x - x + 1) (11 x - 11) hyper_int(------------------------------------, x) 2 5/6 4 2 (x + 1) (x + 2 x + 1) Result: THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW THROW: there is no CATCHer for tag ERRORSW 2 11 1 5 x + 1 11/6 6 hypergeometric([- --, - -], [- -], ------) x 6 3 6 x -------------------------------------------------- 2 11/6 (x + 1) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 127 (line 400) *************** Input: 3 1/3 hyper_int(4 (1 - x ) , x) Result: THROW: there is no CATCHer for tag ERRORSW 2 4 7 2 2 hypergeometric([-, -], [-], - (x - 1) (x + x + 1)) (x - 1) (x + x + 1) 3 3 3 3 1/3 (1 - x ) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. log: encountered log(0). log: encountered log(0). log: encountered log(0). ********************** Problem 178 (line 565) *************** Input: %pi integrate(log(abs(sin(x))), x, 0, ---) 2 Result: log: encountered log(0). THROW: there is no CATCHer for tag ERRORSW 2 8 %i li (%i) + 8 %i li (- %i) - 4 %pi log(2) + %i %pi 2 2 2 %i %pi ------------------------------------------------------ - ------- 8 12 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. 178/178 tests passed (not counting 22 expected errors) The following 20 problems passed but were expected to fail: (107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 123 125 126 127 178) Running tests in rtest_pochhammer: WARNING: DEFUN/DEFMACRO: redefining function $POCHHAMMER in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/orthopoly/orthopoly.lisp, was defined in top-level 36/36 tests passed Running tests in rtest_to_poly_solve: WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/to_poly_solve/to_poly.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/fourier_elim/fourier_elim.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/to_poly_solve/to_poly.lisp ********************** 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 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 210 (line 760) *************** Input: nicedummies(%solve([b2 + a1 = r2, a1 b2 = r3, a2 b2 + a3 b1 = r4, a3 b2 + a5 + r4 = d5, a5 b1 = 0], [a1, a2, a3, a5, r2, r3, r4, b1, b2], 'simpfuncs = ['expand])) Result: %union([a1 = %c0, a2 = %c1, a3 = %c2, a5 = d5 - %c2 %c3 - %c1 %c3, b1 = 0, b2 = %c3, r2 = %c3 + %c0, r3 = %c0 %c3, r4 = %c1 %c3], d5 %c5 %c6 [a1 = %c4, a2 = --- - ------- - %c5, a3 = %c5, a5 = 0, b1 = %c6, b2 = %c7, %c7 %c7 r2 = %c7 + %c4, r3 = %c4 %c7, r4 = d5 - %c5 %c7]) ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 215 (line 782) *************** 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 794) *************** 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 233 (line 858) *************** 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 861) *************** 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 886) *************** 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 892) *************** 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 895) *************** 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 925) *************** 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 952) *************** 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 955) *************** 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 273 (line 986) *************** 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 990) *************** 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 282 (line 1018) *************** 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 1021) *************** 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 1025) *************** 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 1028) *************** 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 1031) *************** 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 1034) *************** 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 1037) *************** 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 1040) *************** 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 1043) *************** 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 1046) *************** 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 1049) *************** 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 296 (line 1066) *************** 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 1076) *************** 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 1079) *************** 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 318 (line 1148) *************** 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 115 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 207 208 210 215 217 233 234 241 243 244 253 262 263 273 274 ...) Running tests in rtest_hg: 187/187 tests passed (not counting 1 expected errors) Running tests in rtest_sym: WARNING: DEFUN/DEFMACRO: redefining function $POLYNOMIALP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/linearalgebra/polynomialp.lisp, was defined in top-level WARNING: DEFUN/DEFMACRO: redefining function SIMP-UNK in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/diffequations/odelin.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/orthopoly/orthopoly.lisp ********************** Problem 12 (line 42) *************** Input: symtest(phi, xi : sym , eta : sym , y, x) 1 2 Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. ********************** Problem 58 (line 181) *************** Input: dy ode_check(-- = phi, % ) dx 1 Result: 0 ... Which was correct, but was expected to be wrong due to a known bug in Maxima or CLISP. 55/55 tests passed (not counting 4 expected errors) The following 2 problems passed but were expected to fail: (12 58) Running tests in rtest_nfloat: 50/50 tests passed (not counting 1 expected errors) Running tests in rtest_mnewton: 16/16 tests passed Running tests in rtest_solve_rat_ineq: 17/17 tests passed Running tests in rtest_vect: 46/46 tests passed (not counting 10 expected errors) 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 macro MLIST* in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/format/format.lisp, was defined in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/format/coeflist.lisp WARNING: DEFUN/DEFMACRO: redefining function MRELATIONP in /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/format/format.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/compar.fas 36/36 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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/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_42_base_407_g8b77b1b40/clisp/2_49_60___2017_06_25___built_3726566601___memory_3756853738_/share/numeric/decfp-core.fas, was defined in /home/maxima/maxima-test/src/binary-clisp/numeric.fas 0 errors, 12 warnings 4/4 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_42_base_407_g8b77b1b40/share/contrib/engineering-format.lisp, was defined in /home/maxima/maxima-test/src/binary-clisp/commac.fas 15/15 tests passed No unexpected errors found out of 4,137 tests. Tests that were expected to fail but passed: /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/pdiff/rtest_pdiff.mac problem: (62) /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/integration/rtest_abs_integrate.mac problems: (107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 123 125 126 127 178) /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/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 207 208 210 215 217 233 234 241 243 244 253 262 263 273 274 282 283 284 285 286 287 288 289 290 291 292 296 299 300 318) /home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_407_g8b77b1b40/share/contrib/diffequations/tests/rtest_sym.mac problems: (12 58) Real time: 1701.7368f0 sec. Run time: 1497.2537f0 sec. Space: 34262638168 Bytes GC: 5325, GC time: 90.5909f0 sec. (%o0) done