fyi, summer 2023 edition of CAS integration tests is now completed after 7
months running.
There is now a new chapter that shows internal exceptions generated by
different CAS systems.
These are the Fricas ones (DISTINCT ones, not the full list as there are
over 2.000)
sqlite> select DISTINCT fricas_anti from main where fricas_pass=-2;
Error detected within library code: integrate: implementation incomplete
(constant residues)
Error detected within library code: integrate: implementation incomplete
(has polynomial part)
Error detected within library code: not invertible
Error detected within library code: Curve not irreducible after change of
variable 0 -> infinity
Error detected within library code: integrate: implementation incomplete
(residue poly has multiple non-linear factors)
Error detected within library code: integrate: implementation incomplete
(trace 0)
Error detected within library code: catdef: division by zero
RuntimeError >> no explicit roots found
Error detected within library code: alglogextint: unimplemented
Error detected within library code: Not integrable (provided residues
have no relations)
Error detected within library code: Shouldn not happen
Error detected within library code: Too many variables
Error detected within library code: failed of mode
Union(SparseUnivariatePolynomial(Expression(Complex(Integer))),failed)
Error detected within library code: failed of mode
Union(SparseUnivariatePolynomial(Expression(Integer)),failed)
System error: Heap exhausted 45588576 requested.PROCEED WITH CAUTION.
AttributeError
Error detected within library code: integrate: implementation incomplete
(irrational residues)
Error detected within library code: do_alg_rde: unimplemented kernel
System error: Heap exhausted (no more space for allocation).PROCEED WITH
CAUTION.
Number of problems failed in Fricas due to exception is
sqlite> select COUNT(*) from main where fricas_pass=-2;
2017
Out of total 85963 integrals, this gives 2.34%.
Fricas did well, scoring 80.892%, Highest of the open source CAS systems.
Solved percentage
-------------------
1. Mathematica % 98.233
2. Rubi % 94.217
3. Maple % 86.609
4. Fricas % 80.892
5. Giac % 59.034
6. Maxima(*) % 57.28 --> 57.28+5.516 = % 62.796 (see below on exceptions)
7. Mupad % 57.09
8. Sympy % 43.562
Full reports are here
<https://12000.org/my_notes/CAS_integration_tests/reports/summer_2023/index.htm>
--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/16590a91-58fa-41b3-868f-e4d510fe89b0n%40googlegroups.com.
