Release notes for Independent CAS integration tests, summer 2024 edition -------------------------------------------------------------------------
This post is also in plain text file at
<
https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/release_notes.txt>
The web page is at
<
https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/index.htm>
There are a total of 106,812 integrals. These include all the new
integration problems found on Albert Rich CD.
In this edition Reduce CAS was added and run on Linux. So there is a
total of 9 CAS systems.
These tests took about 4 months to complete.
Systems tested
===============
1. Mathematica 14 (January 9, 2024) on windows 10 pro.
2. Rubi 4.17.3 (Sept 25, 2023) on Mathematica 14 on windows 10m pro.
3. Maple 2024 (March 1, 2024) on windows 10 pro.
4. Maxima 5.47 (June 1, 2023) using Lisp SBCL 2.4.0 on
Linux Manjaro 23.1.2 KDE via sagemath 10.3.
5. FriCAS 1.3.10 built with sbcl 2.3.11 (January 10, 2024) on Linux
Manjaro 23.1.2 KDE via sagemath 10.3.
6. Giac/Xcas 1.9.0-97 on Linux via sagemath 10.3.
7. Sympy 1.12 using Python 3.11.6 (Nov 14 2023, 09:36:21)
[GCC 13.2.1 20230801] on Linux Manjaro 23.1.2 KDE.
8. Mupad using Matlab 2021a with Symbolic Math Toolbox Version 8.7.
9. Reduce CSL rev 6687 (January 9, 2024) on Linux Manjaro 23.1.2 KDE.
Percentage solved table
========================
1. Mathematica 97.367 %
2. Rubi 93.135 %
3. Maple 83.761 %
4. Fricas 77.211 %
5. Giac/Xcas 57.448 %
6. Reduce 54.34 %
6. Mupad 52.841 %
7. Maxima 52.537 %
8. Sympy 42.164 %
Additional stats and graphs are given at the above page.
This test used the new Rubi 4.17.3 version. Some problems found to cause TerminatedEvaluation["RecursionLimit"] in Mathematica. The following are
two examples. First install Rubi 4.17.3 and then run these commands
In[10]:= Int[(x^3+(-24+3*x)*Log[Log[2]])/x^3,x]
Out[10]= TerminatedEvaluation[RecursionLimit]
In[12]:= Int[(E^x*(40+30*x-10*x^2)+(20-5*x+E^x*(80*x+20*x^2-10*x^3))*Log[Log[2]]+(-10*E^x*x+(-5*x-10*E^x*x^2)*Log[Log[2]])*Log[(2*E^x*x+(x+2*E^x*x^2)*Log[Log[2]])/Log[Log[2]]])/(2*E^x*x+(x+2*E^x*x^2)*Log[Log[2]]),x]
Out[12]= TerminatedEvaluation[RecursionLimit]
There are 367 different test files. Each has its own separate report that
can be accessed from the link that says "links to individual test reports"
at main table of content.
In each separate report there is appendix with links to plain text files
that contain all interation problems in CAS own syntax for that specific
file.
Also the SQL database
<
https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/DATA_BASE/index.htm>
Contains all output of all tests and all the integration problems that
can be used for finding more informations about the tests. Example of
how to use the database are given above. It uses standard SQL commands.
There is also a separate chapter at main table of content that gives
exceptions generated by CAS when running the tests.
Any problems please let me know.
--Nasser
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)