On 4/19/24 22:01, Waldek Hebisch wrote:
On Fri, Apr 19, 2024 at 12:42:19AM -0700, 'Nasser M. Abbasi' via FriCAS -
computer algebra system wrote:
FYI,
This is update for the final summer 2024 edition of CAS integration tests
about the issue Fricas giving zero for non zero integrand.
There are 4 such cases found out of 107,000 integrals.
Here they are
sqlite3 cas_integration_tests.db
sqlite> select COUNT(*) from main where fricas_anti="0";
6
But only 2 of these 6 cases should give zero. The rest should not.
Here is the output from Fricas for the four cases:
The other 3 are plain bugs.
For those 3 bugs, they are all caused by dependent algebraic kernels.
FriCAS can solve them, if you substitute sqrt(6) to sqrt(2)*sqrt(3).
But is there a way to solve this kind of problems in general?
- Qian
--
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/920ec8d4-ded6-4b87-8cd7-aa1fad7e5191%40gmail.com.