On Sat, Apr 27, 2024 at 08:05:30PM +0800, Qian Yun wrote:
>
>
> 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?
Detecting similar dependencies (that is dependencies caused by products
of roots) is easy. I have code to do this. In more general cases
we need factoring, which seem to be acceptable in many cases.
Concerning "solving" this, I think that main problem is fuzzines
of traditional math notation (with infamous phrases liike "reader
will have no trouble to find out what is meant"). I practice
such things seem to come from two sources:
- careless users, who assume that sqrt(x*y) = sqrt(x)*sqrt(y)
and like this
- evaluation of more complicated expressions, when substitution
converts independent roots into dependent ones
The fist case is essentially unsolvable, basicaly it is exercise
in mind reading. In the second case, when expressions are
internally generated, we should try to do better than what we
do now.
--
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/Zi0TVINarUFQIkvE%40fricas.org.
