On Tue, Apr 16, 2024 at 03:17:18AM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI, > > This page > <https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/indexchapter2.htm> > > > > Has now updated list of all exceptions generated by FriCAS 1.3.10 built > with sbcl 2.3.11 on Linux via sagemath 10.3. > > Percentage of integrals which generated an exception is 2.19% > > Total number of integrals tested is now 106,812 > > The page above shows the commands and the exceptions generated. > > Individual tests Reports are not yet completed, they are building now from > Latex and it will take may be 3-4 weeks to finish. But the main top level > report > <https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/index.htm> > > is completed now. > > Fricas did well. 4th place out of 9 CAS systems with 77.117% solved. > > The SQL database is also fully build and contains all the result of all > tests. Link to the database page to download is here > <https://12000.org/my_notes/CAS_integration_tests/reports/summer_2024/DATA_BASE/index.htm> > the > database can be used to obtain more information about each test made. Some > examples > > Find number of integrals failed by Fricas with exception > > sqlite> select count(*) from main where fricas_grade="F(-2)"; > 2339 > > Get list of all exceptions by Fricas. The sagemath-Fricas interface is much > better now than before (I am using sagemath 10.3). > > I see very few exceptions due to sagemath interface issues now. (such > as exp_integral_e)
Thanks for information. The exceptions below look like Sage errors: Exception raised: RecursionError >> maximum recursion depth exceeded Exception raised: RuntimeError >> no explicit roots found Exception raised: AttributeError >> NoneType object has no attribute replace Exception raised: AttributeError and (as you mentioned) a bunch of errors like: Exception raised: TypeError >> An error occurred when FriCAS evaluated ((x)^(((100)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue FriCAS does not allows floating point numbers in integrands. This causes errors like: Exception raised: TypeError >> An error occurred when FriCAS evaluated (x)*(exp((x)*(((-0.10000000000000001)::EXPR INT)))): Cannot convert the value from type Float to Expression(Integer) . The one below look as borderline case: here "failed" comes from FriCAS, but fishy type, that is: SparseUnivariatePolynomial(Expression(Complex(Integer))) suggests that there is something wrong with "user input", that is with Sage interface. -- Waldek Hebisch -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/Zh51kNBGhfe16FnS%40fricas.org.