Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

doctest failures on maxima 5.46.0 #33718

Open
tornaria opened this issue Apr 15, 2022 · 1 comment
Open

doctest failures on maxima 5.46.0 #33718

tornaria opened this issue Apr 15, 2022 · 1 comment

Comments

@tornaria
Copy link
Contributor

It seems maxima 5.46.0 is overly eager to convert floats to rational, causing a bunch of issues. Others are either harmless or actual improvements in maxima.

sage -t --long --warn-long 60.0 --random-seed=273926974885678268684917424586049392923 /builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/symbolic/integration/integral.py
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/symbolic/integration/integral.py", line 741, in sage.symbolic.integration.integral.integrate
Failed example:
    res = integral(f,x,0.0001414, 1.); res
Expected:
    2*y*arctan(1.0/y) - 2*y*arctan(0.0001414/y) + 1.0*log(1.0*y^2 + 1.0) - 0.0001414*log(1.0*y^2 + 1.9993959999999997e-08) - 1.9997172
Got:
    -2*y*arctan(1/196559360927*sqrt(196559360927)*sqrt(3930)/y) + 2*y*arctan(1/y) - 1/196559360927*sqrt(196559360927)*sqrt(3930)*log(y^2 + 3930/196559360927) + 2/196559360927*sqrt(196559360927)*sqrt(3930) + log(y^2 + 1) - 2
**********************************************************************
1 item had failures:
   1 of 173 in sage.symbolic.integration.integral.integrate
    [236 tests, 1 failure, 30.73 s]

sage -t --long --warn-long 60.0 --random-seed=273926974885678268684917424586049392923 /builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/calculus/calculus.py
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/calculus/calculus.py", line 1182, in sage.calculus.calculus.limit
Failed example:
    f.limit(x=1.2)
Expected:
    2.06961575467...
Got:
    und
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/calculus/calculus.py", line 1211, in sage.calculus.calculus.limit
Failed example:
    limit(x^a,x=0)
Expected:
    Traceback (most recent call last):
    ...
    ValueError: Computation failed since Maxima requested additional
    constraints; using the 'assume' command before evaluation *may* help
    (example of legal syntax is 'assume(a>0)', see `assume?` for
     more details)
    Is a an integer?
Got:
    0
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/calculus/calculus.py", line 1220, in sage.calculus.calculus.limit
Failed example:
    limit(x^a, x=0)
Expected:
    Traceback (most recent call last):
    ...
    ValueError: Computation failed since Maxima requested additional
    constraints; using the 'assume' command before evaluation *may* help
    (example of legal syntax is 'assume(a>0)', see `assume?` for
     more details)
    Is a an even number?
Got:
    0
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/calculus/calculus.py", line 2231, in sage.calculus.calculus.symbolic_expression_from_maxima_string
Failed example:
    solve([x != 5], x)
Expected:
    #0: solve_rat_ineq(ineq=_SAGE_VAR_x # 5)
    [[x - 5 != 0]]
Got:
    #0: solve_rat_ineq(ineq=_SAGE_VAR_x # 5)
    [[x < 5], [5 < x]]
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/calculus/calculus.py", line 2234, in sage.calculus.calculus.symbolic_expression_from_maxima_string
Failed example:
    solve([2*x==3, x != 5], x)
Expected:
    [[x == (3/2), (-7/2) != 0]]
Got:
    [[x == (3/2)]]
**********************************************************************
2 items had failures:
   3 of  66 in sage.calculus.calculus.limit
   2 of  28 in sage.calculus.calculus.symbolic_expression_from_maxima_string
    [451 tests, 5 failures, 13.60 s]

sage -t --long --warn-long 60.0 --random-seed=273926974885678268684917424586049392923 /builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/functions/exp_integral.py
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/functions/exp_integral.py", line 605, in sage.functions.exp_integral.Function_log_integral_offset
Failed example:
    Li(x).integrate(x,2.0,4.5)
Expected:
    -2.5*log_integral(2) + 5.799321147411334
Got:
    -Ei(2*log(9/2)) + Ei(2*log(2)) + 9/2*log_integral(9/2) - 4.5*log_integral(2)
**********************************************************************
1 item had failures:
   1 of  15 in sage.functions.exp_integral.Function_log_integral_offset
    [275 tests, 1 failure, 10.21 s]

sage -t --long --warn-long 60.0 --random-seed=273926974885678268684917424586049392923 /builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/symbolic/relation.py
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/symbolic/relation.py", line 1787, in sage.symbolic.relation.solve_ineq_fourier
Failed example:
    solve_ineq_fourier([x+y<9,x-y>4],[y,x])
Expected:
    [[y < min(x - 4, -x + 9)]]
Got:
    [[y < min(-x + 9, x - 4)]]
**********************************************************************
1 item had failures:
   1 of   9 in sage.symbolic.relation.solve_ineq_fourier
    [393 tests, 1 failure, 8.61 s]

sage -t --long --warn-long 60.0 --random-seed=273926974885678268684917424586049392923 /builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/interfaces/maxima_lib.py
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/interfaces/maxima_lib.py", line 928, in sage.interfaces.maxima_lib.MaximaLib.sr_limit
Failed example:
    limit(f,x = 1.2)
Expected:
    2.06961575467...
Got:
    und
**********************************************************************
File "/builddir/sage-9.5/pkgs/sagemath-standard/build/lib.linux-x86_64-3.10/sage/interfaces/maxima_lib.py", line 941, in sage.interfaces.maxima_lib.MaximaLib.sr_limit
Failed example:
    limit(x^a,x=0)
Expected:
    Traceback (most recent call last):
    ...
    ValueError: Computation failed ...
    Is a an integer?
Got:
    0
**********************************************************************
1 item had failures:
   2 of  24 in sage.interfaces.maxima_lib.MaximaLib.sr_limit
    [216 tests, 2 failures, 2.59 s]

CC: @kiwifb @antonio-rojas

Component: packages: standard

Issue created by migration from https://trac.sagemath.org/ticket/33718

@antonio-rojas
Copy link
Contributor

comment:3

This looks like a bug to me rather than intentional behavior. Reported it upstream for clarification https://sourceforge.net/p/maxima/bugs/3964/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants