Also posted at https://groups.google.com/g/sci.math.symbolic
FYI, A new CAS integration test build started. This is summer 2022 edition. <https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2022/index.htm> It will take 2-3 more months to complete but I am posting this now in case there are problems or suggestions so I can do them early one. The following is summary of changes in this summer 2022 compared to 2021 edition are ============================ 1. This now includes 85,483 integrals compared to 71,994. The test integrals used are made of the following 210 files: a. Rubi test suite. Files 1 to 208. Thanks to Alert Rich. Downloaded from <https://github.com/RuleBasedIntegration> b. IntegrateAlgebraic test file. File 209. Thanks to Sam Blake. c. Fricas test file. File 210. Thanks to Waldek Hebisch. 2. CAS version changes: Mathematica 12.3->13.01, Maple 2021.1->2022.1, Giac 1.7.0->1.9.07, Sympy 1.8->1.10.1. Maxima 5.44->5.46. No changes to FriCAS at 1.3.7, Mupad at 2021a, Rubi at 4.16.1. 3. New CAS added: Mathics 4.0 called from sagemath. Mathics is an open source CAS which uses Mathematica syntax. <https://mathics.org/> It was possible to add it easily to CAS integration tests since it can now be called from inside sagemath 9.6. <https://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/mathics.html> Mathics integrator seems to rely on sympy integrator for some of its work but I do not know to what extent. This explains the similar anti-derivatives compared to sympy and the similar overall performance and result. 4. A new program to test GIAC directly using its C++ API. <https://www-fourier.ujf-grenoble.fr/~parisse/giac_us.html> This resulted in much faster execution and also avoids any sagemath interface issues found so far. FriCAS and Maxima and Mathics still use sagemath. Now GIAC has now become one of the fastest CAS's to complete after this change. (Compiled C++ is fast!) 5. Updated sagemath from 9.3 to 9.6. 6. General improvements to Latex and other formatting. 7. Updated design flowchart of the test program to show the changes made. <https://www.12000.org/my_notes/CAS_integration_tests/images/design.svg> Currently only first [3,809] integrals are completed and graded (first 13 files). Results are at the above webpage. Will not post these here as current results will change until all files are processed. All systems are graded except for mupad. Verification is done for only Rubi, Mathematica and Mathics. Integrals which produce result that did not verify are listed with direct links for easy inspection. I will update the web page as soon as more files are processed. May be once every 2-3 weeks (unless a big problem shows up) until all 210 files are completed. The reports are written in Latex and converted to PDF using lualatex and converted to HTML using tex4ht, all using TeXLive 2022 on Linux. Any problems/questions/changes needed, please let me know. You could email me directly or by posting here. --Nasser -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/9baa3670-e4af-43f1-9894-823bec801f12n%40googlegroups.com.
