Maxima branch_5_41_base_485_g1859b47 http://maxima.sourceforge.net
using Lisp SBCL 1.4.8
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)
Running tests in rtestflatten: 43/43 tests passed
Running tests in rtest_z_transform: 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: 48/48 tests passed
Running tests in rtest_eigen: 13/13 tests passed
Running tests in rtest_odelin: 105/105 tests passed
Running tests in rtestezunits: 277/277 tests passed
Running tests in rtest_numericalio: 75/75 tests passed
Running tests in rtest_simplify_sum: 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: 14/14 tests passed
Running tests in rtest_distrib: 86/86 tests passed
Running tests in rtest_descriptive: 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: 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: 58/58 tests passed
Running tests in rtest_fourier_elim: 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: 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: 85/85 tests passed (not counting 1 expected errors)
Running tests in rtest_arag:
Caused an error break: rtest_arag
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 in the Lisp it was compiled with.
89/89 tests passed (not counting 1 expected errors)
Running tests in rtest_to_poly:
********************** Problem 13 (line 40) ***************
Input:
first(elim_allbut(first(to_poly(sqrt(a) = b)), [a, b]))
Result:
2
[b - a]
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
16/16 tests passed (not counting 9 expected errors)
Running tests in rtestprintf: 66/66 tests passed (not counting 5 expected errors)
Running tests in rtest_simplex: 12/12 tests passed
Running tests in rtest_graphs: 99/99 tests passed
Running tests in rtest_abs_integrate:
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** Problem 125 (line 393) ***************
Input:
logcontract(hypergeometric_simp(hyper_int(e, x) - integrate(e, x)))
Result:
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
log(16) - 3
- -----------
2
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or in the Lisp it was compiled with.
********************** 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:
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: ERRORSW
attempt to THROW to a tag that does not exist: 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 in the Lisp it was compiled with.
********************** Problem 127 (line 400) ***************
Input:
3 1/3
hyper_int(4 (1 - x ) , x)
Result:
attempt to THROW to a tag that does not exist: 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 in the Lisp it was compiled with.
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).
attempt to THROW to a tag that does not exist: 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 in the Lisp it was compiled with.
178/178 tests passed (not counting 22 expected errors)
Running tests in rtest_pochhammer: 36/36 tests passed
Running tests in rtest_to_poly_solve:
********************** Problem 12 (line 38) ***************
Input:
%solve(abs(x) = - 1, x)
Result:
%union()
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
********************** 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 in the Lisp it was compiled with.
185/185 tests passed (not counting 157 expected errors)
Running tests in rtest_hg: 187/187 tests passed (not counting 1 expected errors)
Running tests in rtest_nfloat: 50/50 tests passed (not counting 1 expected errors)
Running tests in rtest_mnewton: 15/15 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: 12/12 tests passed
Running tests in rtest_grobner: 33/33 tests passed
Running tests in rtest_finance: 17/17 tests passed
Running tests in rtest_fft: 99/99 tests passed
Running tests in rtest_rfft: 46/46 tests passed
Running tests in rtest_decfp: 4/4 tests passed
Running tests in rtest_wrstcse: 12/12 tests passed
Running tests in rtest_draw: 132/132 tests passed
Running tests in rtest_engineering_format: 14/14 tests passed (not counting 1 expected errors)
Error summary:
Error found in rtest_arag, problem:
(error break)
0 tests failed out of 3,883 total tests.
Evaluation took:
240.960 seconds of real time
240.060000 seconds of total run time (237.800000 user, 2.260000 system)
[ Run times consist of 7.388 seconds GC time, and 232.672 seconds non-GC time. ]
99.63% CPU
312,210 forms interpreted
327,624 lambdas converted
745,285,740,616 processor cycles
75,414,217,792 bytes consed
(%o0) done
(%i1)