2.1 January 2024 special build with Reduce as guest CAS

Main page is here

Number of integrals 3,809 with grading for all CAS systems except for Mupad and Reduce.

Verification of anti-derivative implemented only for Mathematica, Rubi and Maple.

The following are the CAS systems tested:

1. Mathematica 13.3.1 (August 16, 2023) on windows 10.
2. Rubi 4.17.3 (Sept 25, 2023) on Mathematica 13.3.1 on windows 10
3. Maple 2023.1 (July, 12, 2023) on windows 10.
4. Maxima 5.47 (June 1, 2023) using Lisp SBCL 2.3.0 on Linux via sagemath 10.1 (Aug 20, 2023).
5. FriCAS 1.3.9 (July 8, 2023) based on sbcl 2.3.0 on Linux via sagemath 10.1 (Aug 20, 2023).
6. Giac/Xcas 1.9.0-61 (Sept. 26, 2023) on Linux via sagemath 10.1 (Aug 20, 2023).
7. Sympy 1.12 (May 10, 2023) Using Python 3.11.3 on Linux.
8. Mupad using Matlab 2021a with Symbolic Math Toolbox Version 8.7 on windows 10.
9. Reduce CSL rev. 6657. December 10, 2023. On Linux.

Maxima and Fricas and Giac are called using Sagemath. This was done using Sagemath integrate command by changing the name of the algorithm to use the different CAS systems.

Sympy was run directly in Python not via sagemath.

Reduce was run directly on Linux using its own build script. Postprocessing of Reduce output was done by Maple.

Link to final database will be made here when all tests completed.

The following report shows how to interface to the data generated using SQLite3 january 2024 with reduce database