Maxima branch_5_42_base_501_g876b4a2d3 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.12
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 GNU Common Lisp (GCL) GCL 2.6.12:
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: 280/280 tests passed
Running tests in rtest_numericalio: 69/69 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: 81/81 tests passed (not counting 1 expected errors)
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: 107/107 tests passed (not counting 2 expected errors)
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_dgeqrf: /home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/lapack/dgesvd.c: In function 'LC2':
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/lapack/dgesvd.c:1065:13: note: variable tracking size limit exceeded with -fvar-tracking-assignments, retrying without
static void LC2(fun)
^~~
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/eigensys.c: In function 'L13':
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/eigensys.c:5:219: warning: 'V246' may be used uninitialized in this function [-Wmaybe-uninitialized]
#define equal(x,y) ({register object _a=(x);register object _b=(y);_a==_b ? 1 : (((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))||((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body)) ? 0 : equal1(_a,_b));})
^
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/eigensys.c:2650:9: note: 'V246' was declared here
object V246;
^~~~
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/eigensys.c: In function 'L12':
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/eigensys.c:5:219: warning: 'V237' may be used uninitialized in this function [-Wmaybe-uninitialized]
#define equal(x,y) ({register object _a=(x);register object _b=(y);_a==_b ? 1 : (((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))||((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body)) ? 0 : equal1(_a,_b));})
^
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/lapack/eigensys.c:2561:9: note: 'V237' was declared here
object V237;
^~~~
15/15 tests passed
Running tests in rtest_dgesv: 7/7 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: 86/86 tests passed
Running tests in rtest_arag: 107/107 tests passed
Running tests in rtest_pdiff:
********************** Problem 62 ***************
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 GNU Common Lisp (GCL).
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:
********************** Problem 13 ***************
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 GNU Common Lisp (GCL).
********************** Problem 14 ***************
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 GNU Common Lisp (GCL).
********************** Problem 15 ***************
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 GNU Common Lisp (GCL).
********************** Problem 16 ***************
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 GNU Common Lisp (GCL).
********************** Problem 17 ***************
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 GNU Common Lisp (GCL).
********************** Problem 18 ***************
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 GNU Common Lisp (GCL).
********************** Problem 19 ***************
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 GNU Common Lisp (GCL).
********************** Problem 20 ***************
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 GNU Common Lisp (GCL).
********************** Problem 25 ***************
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 GNU Common Lisp (GCL).
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:
********************** Problem 63 ***************
Input:
(3.486966909006701254309886183074014693622265540576239825103417070695233093147\
180625237524509429931641b-22 2.867821881007928E+21,
printf(false, ~13,6,3,1e, %%), if sequalignore(%%, 1.000000e+000) then true
else %%)
Result:
true
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or GNU Common Lisp (GCL).
********************** Problem 65 ***************
Input:
(printf(false, ~13,6,3,1e, 0.9999999999999999),
if sequalignore(%%, 1.000000e+000) then true else %%)
Result:
true
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or GNU Common Lisp (GCL).
59/59 tests passed (not counting 12 expected errors)
The following 2 problems passed but were expected to fail: (63 65)
Running tests in rtest_simplex: 18/18 tests passed
Running tests in rtest_graphs: 99/99 tests passed
Running tests in rtest_abs_integrate:
********************** Problem 107 ***************
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 GNU Common Lisp (GCL).
********************** Problem 108 ***************
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 GNU Common Lisp (GCL).
********************** Problem 109 ***************
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 GNU Common Lisp (GCL).
********************** Problem 110 ***************
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 GNU Common Lisp (GCL).
********************** Problem 111 ***************
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 GNU Common Lisp (GCL).
********************** Problem 112 ***************
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 GNU Common Lisp (GCL).
********************** Problem 113 ***************
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 GNU Common Lisp (GCL).
********************** Problem 114 ***************
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 GNU Common Lisp (GCL).
********************** Problem 115 ***************
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 GNU Common Lisp (GCL).
********************** Problem 116 ***************
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 GNU Common Lisp (GCL).
********************** Problem 117 ***************
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 GNU Common Lisp (GCL).
********************** Problem 118 ***************
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 GNU Common Lisp (GCL).
********************** Problem 119 ***************
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 GNU Common Lisp (GCL).
********************** Problem 120 ***************
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 GNU Common Lisp (GCL).
********************** Problem 121 ***************
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 GNU Common Lisp (GCL).
********************** Problem 123 ***************
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 GNU Common Lisp (GCL).
********************** Problem 125 ***************
Input:
logcontract(hypergeometric_simp(hyper_int(e, x) - integrate(e, x)))
Result:
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
log(16) - 3
- -----------
2
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or GNU Common Lisp (GCL).
********************** Problem 126 ***************
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:
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
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 GNU Common Lisp (GCL).
********************** Problem 127 ***************
Input:
3 1/3
hyper_int(4 (1 - x ) , x)
Result:
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
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 GNU Common Lisp (GCL).
log: encountered log(0).
log: encountered log(0).
log: encountered log(0).
********************** Problem 178 ***************
Input:
%pi
integrate(log(abs(sin(x))), x, 0, ---)
2
Result:
log: encountered log(0).
Condition in MEVAL [or a callee]: INTERNAL-SIMPLE-ERROR: The tag ERRORSW is undefined.
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 GNU Common Lisp (GCL).
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: 36/36 tests passed
Running tests in rtest_to_poly_solve:
********************** Problem 12 ***************
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 GNU Common Lisp (GCL).
********************** Problem 13 ***************
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 GNU Common Lisp (GCL).
********************** Problem 14 ***************
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 GNU Common Lisp (GCL).
********************** Problem 15 ***************
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 GNU Common Lisp (GCL).
********************** Problem 16 ***************
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 GNU Common Lisp (GCL).
********************** Problem 17 ***************
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 GNU Common Lisp (GCL).
********************** Problem 18 ***************
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 GNU Common Lisp (GCL).
********************** Problem 19 ***************
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 GNU Common Lisp (GCL).
********************** Problem 20 ***************
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 GNU Common Lisp (GCL).
********************** Problem 21 ***************
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 GNU Common Lisp (GCL).
********************** Problem 22 ***************
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 GNU Common Lisp (GCL).
********************** Problem 23 ***************
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 GNU Common Lisp (GCL).
********************** Problem 24 ***************
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 GNU Common Lisp (GCL).
********************** Problem 25 ***************
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 GNU Common Lisp (GCL).
********************** Problem 26 ***************
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 GNU Common Lisp (GCL).
********************** Problem 27 ***************
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 GNU Common Lisp (GCL).
********************** Problem 28 ***************
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 GNU Common Lisp (GCL).
********************** Problem 29 ***************
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 GNU Common Lisp (GCL).
********************** Problem 30 ***************
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 GNU Common Lisp (GCL).
********************** Problem 31 ***************
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 GNU Common Lisp (GCL).
********************** Problem 32 ***************
Input:
subst(a = 2, sol)
Result:
%union()
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or GNU Common Lisp (GCL).
********************** Problem 33 ***************
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 GNU Common Lisp (GCL).
********************** Problem 34 ***************
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 GNU Common Lisp (GCL).
********************** Problem 35 ***************
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 GNU Common Lisp (GCL).
********************** Problem 36 ***************
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 GNU Common Lisp (GCL).
********************** Problem 37 ***************
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 GNU Common Lisp (GCL).
********************** Problem 38 ***************
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 GNU Common Lisp (GCL).
********************** Problem 39 ***************
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 GNU Common Lisp (GCL).
********************** Problem 40 ***************
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 GNU Common Lisp (GCL).
********************** Problem 41 ***************
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 GNU Common Lisp (GCL).
********************** Problem 42 ***************
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 GNU Common Lisp (GCL).
********************** Problem 43 ***************
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 GNU Common Lisp (GCL).
********************** Problem 44 ***************
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 GNU Common Lisp (GCL).
********************** Problem 45 ***************
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 GNU Common Lisp (GCL).
********************** Problem 46 ***************
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 GNU Common Lisp (GCL).
********************** Problem 47 ***************
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 GNU Common Lisp (GCL).
********************** Problem 49 ***************
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 GNU Common Lisp (GCL).
********************** Problem 50 ***************
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 GNU Common Lisp (GCL).
********************** Problem 70 ***************
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 GNU Common Lisp (GCL).
********************** Problem 72 ***************
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 GNU Common Lisp (GCL).
********************** Problem 73 ***************
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 GNU Common Lisp (GCL).
********************** Problem 76 ***************
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 GNU Common Lisp (GCL).
********************** Problem 77 ***************
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 GNU Common Lisp (GCL).
********************** Problem 78 ***************
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 GNU Common Lisp (GCL).
********************** Problem 86 ***************
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 GNU Common Lisp (GCL).
********************** Problem 87 ***************
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 GNU Common Lisp (GCL).
********************** Problem 88 ***************
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 GNU Common Lisp (GCL).
********************** Problem 89 ***************
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 GNU Common Lisp (GCL).
********************** Problem 90 ***************
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 GNU Common Lisp (GCL).
********************** Problem 96 ***************
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 GNU Common Lisp (GCL).
********************** Problem 97 ***************
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 GNU Common Lisp (GCL).
********************** Problem 120 ***************
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 GNU Common Lisp (GCL).
********************** Problem 124 ***************
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 GNU Common Lisp (GCL).
********************** Problem 125 ***************
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 GNU Common Lisp (GCL).
********************** Problem 126 ***************
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 GNU Common Lisp (GCL).
********************** Problem 127 ***************
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 GNU Common Lisp (GCL).
********************** Problem 128 ***************
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 GNU Common Lisp (GCL).
********************** Problem 129 ***************
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 GNU Common Lisp (GCL).
********************** Problem 130 ***************
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 GNU Common Lisp (GCL).
********************** Problem 134 ***************
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 GNU Common Lisp (GCL).
********************** Problem 135 ***************
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 GNU Common Lisp (GCL).
********************** Problem 136 ***************
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 GNU Common Lisp (GCL).
********************** Problem 138 ***************
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 GNU Common Lisp (GCL).
********************** Problem 139 ***************
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 GNU Common Lisp (GCL).
********************** Problem 142 ***************
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 GNU Common Lisp (GCL).
********************** Problem 143 ***************
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 GNU Common Lisp (GCL).
********************** Problem 144 ***************
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 GNU Common Lisp (GCL).
********************** Problem 146 ***************
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 GNU Common Lisp (GCL).
********************** Problem 148 ***************
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 GNU Common Lisp (GCL).
********************** Problem 149 ***************
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 GNU Common Lisp (GCL).
********************** Problem 157 ***************
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 GNU Common Lisp (GCL).
********************** Problem 158 ***************
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 GNU Common Lisp (GCL).
********************** Problem 159 ***************
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 GNU Common Lisp (GCL).
********************** Problem 162 ***************
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 GNU Common Lisp (GCL).
********************** Problem 163 ***************
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 GNU Common Lisp (GCL).
********************** Problem 164 ***************
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.42396222703128], [q = 10.01077844311377],
[q = - 2.201201253088262 %i])
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or GNU Common Lisp (GCL).
********************** Problem 165 ***************
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 GNU Common Lisp (GCL).
********************** Problem 169 ***************
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 GNU Common Lisp (GCL).
********************** Problem 173 ***************
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 GNU Common Lisp (GCL).
********************** Problem 179 ***************
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 GNU Common Lisp (GCL).
********************** Problem 180 ***************
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 GNU Common Lisp (GCL).
********************** Problem 181 ***************
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 GNU Common Lisp (GCL).
********************** Problem 196 ***************
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 GNU Common Lisp (GCL).
********************** Problem 197 ***************
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 GNU Common Lisp (GCL).
********************** Problem 198 ***************
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 GNU Common Lisp (GCL).
********************** Problem 199 ***************
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 GNU Common Lisp (GCL).
********************** Problem 200 ***************
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 GNU Common Lisp (GCL).
********************** Problem 201 ***************
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 GNU Common Lisp (GCL).
********************** Problem 202 ***************
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 GNU Common Lisp (GCL).
********************** Problem 203 ***************
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 GNU Common Lisp (GCL).
********************** Problem 204 ***************
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 GNU Common Lisp (GCL).
********************** Problem 207 ***************
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 GNU Common Lisp (GCL).
********************** Problem 208 ***************
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 GNU Common Lisp (GCL).
********************** Problem 210 ***************
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 GNU Common Lisp (GCL).
********************** Problem 214 ***************
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 GNU Common Lisp (GCL).
********************** Problem 215 ***************
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 GNU Common Lisp (GCL).
********************** Problem 217 ***************
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 GNU Common Lisp (GCL).
********************** Problem 222 ***************
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 GNU Common Lisp (GCL).
********************** Problem 233 ***************
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 GNU Common Lisp (GCL).
********************** Problem 234 ***************
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 GNU Common Lisp (GCL).
********************** Problem 241 ***************
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 GNU Common Lisp (GCL).
********************** Problem 243 ***************
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 GNU Common Lisp (GCL).
********************** Problem 244 ***************
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 GNU Common Lisp (GCL).
********************** Problem 253 ***************
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 GNU Common Lisp (GCL).
********************** Problem 262 ***************
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 GNU Common Lisp (GCL).
********************** Problem 263 ***************
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 GNU Common Lisp (GCL).
********************** Problem 268 ***************
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 GNU Common Lisp (GCL).
********************** Problem 273 ***************
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 GNU Common Lisp (GCL).
********************** Problem 274 ***************
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 GNU Common Lisp (GCL).
********************** Problem 277 ***************
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 GNU Common Lisp (GCL).
********************** Problem 278 ***************
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 GNU Common Lisp (GCL).
********************** Problem 282 ***************
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 GNU Common Lisp (GCL).
********************** Problem 283 ***************
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 GNU Common Lisp (GCL).
********************** Problem 284 ***************
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 GNU Common Lisp (GCL).
********************** Problem 285 ***************
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 GNU Common Lisp (GCL).
********************** Problem 286 ***************
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 GNU Common Lisp (GCL).
********************** Problem 287 ***************
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 GNU Common Lisp (GCL).
********************** Problem 288 ***************
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 GNU Common Lisp (GCL).
********************** Problem 289 ***************
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 GNU Common Lisp (GCL).
********************** Problem 290 ***************
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 GNU Common Lisp (GCL).
********************** Problem 291 ***************
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 GNU Common Lisp (GCL).
********************** Problem 292 ***************
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 GNU Common Lisp (GCL).
********************** Problem 295 ***************
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 GNU Common Lisp (GCL).
********************** Problem 296 ***************
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 GNU Common Lisp (GCL).
********************** Problem 299 ***************
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 GNU Common Lisp (GCL).
********************** Problem 300 ***************
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 GNU Common Lisp (GCL).
********************** Problem 311 ***************
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 GNU Common Lisp (GCL).
********************** Problem 318 ***************
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 GNU Common Lisp (GCL).
184/184 tests passed (not counting 158 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: 186/186 tests passed (not counting 2 expected errors)
Running tests in rtest_sym:
********************** Problem 12 ***************
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 GNU Common Lisp (GCL).
********************** Problem 58 ***************
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 GNU Common Lisp (GCL).
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:
********************** Problem 25 ***************
Input:
3
nfloat(map('rhs, solve(x + x + 1, x)), [], 10)
Result:
[0.3411639019140089 - 1.161541399997251 %i,
1.161541399997251 %i + 0.3411639019140089, - 0.682327803828018]
... Which was correct, but was expected to be wrong due to a known bug in
Maxima or GNU Common Lisp (GCL).
50/50 tests passed (not counting 1 expected errors)
The following 1 problem passed but was expected to fail: (25)
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: 36/36 tests passed
Running tests in rtest_grobner: 33/33 tests passed
Running tests in rtest_finance: 14/14 tests passed (not counting 3 expected errors)
Running tests in rtest_fft: 99/99 tests passed
Running tests in rtest_rfft: 46/46 tests passed
Running tests in rtest_decfp: /home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/numeric/decfp-core.c: In function 'LI11':
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/numeric/decfp-core.c:1713:10: warning: implicit declaration of function 'writec_stream'; did you mean 'file_stream'? [-Wimplicit-function-declaration]
(void)((writec_stream(char_code(((object)VV[48])),Vstandard_output->s.s_dbind),(((object)VV[48]))));
^~~~~~~~~~~~~
file_stream
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/numeric/decfp-core.c:1713:52: error: 'Vstandard_output' undeclared (first use in this function); did you mean 'smm_output'?
(void)((writec_stream(char_code(((object)VV[48])),Vstandard_output->s.s_dbind),(((object)VV[48]))));
^~~~~~~~~~~~~~~~
smm_output
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/numeric/decfp-core.c:1713:52: note: each undeclared identifier is reported only once for each function it appears in
/home/maxima/.maxima/binary/branch_5_42_base_501_g876b4a2d3/gcl/GCL_2_6_12/share/numeric/decfp-core.c:1713:80: warning: left-hand operand of comma expression has no effect [-Wunused-value]
(void)((writec_stream(char_code(((object)VV[48])),Vstandard_output->s.s_dbind),(((object)VV[48]))));
^
0/0 tests passed (not counting 4 expected errors)
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: 15/15 tests passed
No unexpected errors found out of 4,115 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/stringproc/rtestprintf.mac problems:
(63 65)
/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)
/home/maxima/maxima-test/installroot/share/maxima/branch_5_42_base_501_g876b4a2d3/share/hypergeometric/rtest_nfloat.mac problem:
(25)
real time : 775.770 secs
run-gbc time : 290.420 secs
child run time : 384.660 secs
gbc time : 85.010 secs
(%o0) done