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) sqlite> select DISTINCT(fricas_anti) from main where fricas_grade="F(-2)"; Exception raised: TypeError >> Error detected within library code: integrate: implementation incomplete (constant residues) Exception raised: TypeError >> Error detected within library code: integrate: implementation incomplete (has polynomial part) Exception raised: TypeError >> Error detected within library code: not invertible Exception raised: TypeError >> Error detected within library code: Curve not irreducible after change of variable 0 -> infinity Exception raised: TypeError >> Error detected within library code: integrate: implementation incomplete (residue poly has multiple non-linear factors) Exception raised: TypeError >> Error detected within library code: integrate: implementation incomplete (trace 0) Exception raised: TypeError >> Error detected within library code: catdef: division by zero Exception raised: RecursionError >> maximum recursion depth exceeded Exception raised: RuntimeError >> no explicit roots found Exception raised: TypeError >> Error detected within library code: alglogextint: unimplemented Exception raised: TypeError >> Error detected within library code: Not integrable (provided residues have no relations) Exception raised: TypeError >> Error detected within library code: do_alg_rde: unimplemented kernel 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) . Exception raised: TypeError >> Error detected within library code: failed of mode Union(SparseUnivariatePolynomial(Expression(Complex(Integer))),failed) cannot be coerced to mode SparseUnivariatePolynomial(Expression(Complex(Int Exception raised: TypeError >> Error detected within library code: failed of mode Union(SparseUnivariatePolynomial(Expression(Integer)),failed) cannot be coerced to mode SparseUnivariatePolynomial(Expression(Integer)) 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 Exception raised: TypeError >> An error occurred when FriCAS evaluated ((x)^(((2)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated (x)*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated exp_integral_e(((1)::EXPR INT),(a)*(x)): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated ((x)^(((-1)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated ((x)^(((-2)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated ((x)^(((-3)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated ((x)^(((-4)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),(a)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated (((d)*(x))^(m))*(exp_integral_e(((1)::EXPR INT),(b)*(x))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated ((((d)*(x))+(c))^(((3)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),((b)*(x))+(a))): There are no library operations named exp_integral_e Use HyperDoc Exception raised: TypeError >> An error occurred when FriCAS evaluated ((((d)*(x))+(c))^(((2)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),((b)*(x))+(a))): There are no library operations named exp_integral_e Use HyperDoc Exception raised: TypeError >> An error occurred when FriCAS evaluated (((d)*(x))+(c))*(exp_integral_e(((1)::EXPR INT),((b)*(x))+(a))): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated exp_integral_e(((1)::EXPR INT),((b)*(x))+(a)): There are no library operations named exp_integral_e Use HyperDoc Browse or issue Exception raised: TypeError >> An error occurred when FriCAS evaluated ((((d)*(x))+(c))^(((-1)::EXPR INT)))*(exp_integral_e(((1)::EXPR INT),((b)*(x))+(a))): There are no library operations named exp_integral_e Use HyperDo Exception raised: TypeError >> Error detected within library code: logextint: unhandled kernel Exception raised: AttributeError >> NoneType object has no attribute replace Exception raised: AttributeError Exception raised: TypeError >> Error detected within library code: integrate: implementation incomplete (irrational residues) --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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/faef426b-48c7-49b6-a7df-1acb9cc2a842n%40googlegroups.com.
