1.4 Summer 2022 build

Main page is here

Completed August 21, 2022.
Frozen effective March 27,2023.

No changes will be made to this version. See above for current version.

Number of integrals 85,483 with grading for all CAS systems except for Mupad.

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

The test integrals used are made of the following 210 files.

  1. Rubi test suite. Files 1 to 208. Thanks to Alert Rich.
  2. IntegrateAlgebraic test file. File 209. Thanks to Sam Blake.
  3. Fricas test file. File 210. Thanks to Waldek Hebisch.

These 8 CAS systems are used:

  1. Mathematica 13.1 (June 29, 2022) on windows 10.
  2. Rubi 4.16.1 (Dec 19, 2018) on Mathematica 13.1 on windows 10.
  3. Maple 2022.1 (June 1, 2022) on windows 10.
  4. Maxima 5.46 (April 13, 2022) using Lisp SBCL 2.1.11.debian on Linux via sagemath 9.6.
  5. Fricas 1.3.8 (June 21, 2022) based on sbcl 2.1.11.debian on Linux via sagemath 9.6.
  6. Giac/Xcas 1.9.0-13 (July 3, 2022) on Linux via sagemath 9.6.
  7. Sympy 1.10.1 (March 20, 2022) Using Python 3.10.4 on Linux.
  8. Mupad using Matlab 2021a with Symbolic Math Toolbox Version 8.7 on windows 10.

The following Summer 2022 regression reports shows the integrals which failed in current summer 2022 build but passed in summer 2021 build. This was done for each CAS which changed version since last year.

The following Summer 2022 progress reports shows the integrals which were solved in current summer 2022 build but failed in summer 2021 build. This was done for each CAS which has a changed version since last year.

The following report shows how to interface to the data generated using SQLite3 Summer 2022 database