search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.32k stars 451 forks source link

doctest failures on maxima 5.46.0 #33718

Open tornaria opened 2 years ago

tornaria commented 2 years ago

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 commented 2 years ago
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/