Maxima branch_5_42_base_501_g876b4a2d3 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 3762469751):
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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/share/contrib/diffequations/odelin.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/share/orthopoly/orthopoly.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/share/contrib/diffequations/odelin.lisp
WARNING: DEFUN/DEFMACRO: redefining function $POCHHAMMER in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/share/fourier_elim/fourier_elim.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/share/fourier_elim/fourier_elim.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/share/to_poly_solve/to_poly.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/share/fourier_elim/fourier_elim.lisp
********************** 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: 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_501_g876b4a2d3/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_501_g876b4a2d3/share/fourier_elim/fourier_elim.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/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_501_g876b4a2d3/share/to_poly_solve/to_poly.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/share/fourier_elim/fourier_elim.lisp
WARNING: DEFUN/DEFMACRO: redefining macro OPAPPLY in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/share/fourier_elim/fourier_elim.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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 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 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 214 (line 778) ***************
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 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 222 (line 816) ***************
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 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 268 (line 971) ***************
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 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 277 (line 1001) ***************
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 1004) ***************
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 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 295 (line 1062) ***************
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 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 311 (line 1127) ***************
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 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 128 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 210 214 215 217 222 233 234 ...)
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_501_g876b4a2d3/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_501_g876b4a2d3/share/contrib/diffequations/odelin.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/share/contrib/format/format.lisp,
was defined in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/share/contrib/format/coeflist.lisp
WARNING: DEFUN/DEFMACRO: redefining function MRELATIONP in
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/clisp/2_49_60___2017_06_25___built_3726566601___memory_3762469751_/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_501_g876b4a2d3/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_501_g876b4a2d3/share/pdiff/rtest_pdiff.mac problem:
(62)
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/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_42_base_501_g876b4a2d3/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_501_g876b4a2d3/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 210 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_42_base_501_g876b4a2d3/share/contrib/diffequations/tests/rtest_sym.mac problems:
(12 58)
Real time: 1717.4023f0 sec.
Run time: 1506.6486f0 sec.
Space: 34314224480 Bytes
GC: 5248, GC time: 90.56931f0 sec.
(%o0) done