Nasser M. Abbasi wrote:
>
> On Thursday, October 31, 2019 at 7:05:00 PM UTC-5, Nasser M. Abbasi wrote:
> >
> > In running CAS integration tests
> > https://www.12000.org/my_notes/CAS_integration_tests/index.htm, I noticed
> > some Fricas tests fail because the build sets the
> > flag setSimplifyDenomsFlag(true) at the start for all integrals.
> >
> > But now I noticed some fail (due to time out of 3 minutes) when this flag
> > is set. When I do not set this flag, FriCAS can integrate it. So it should
> > be pass.
> >
> > But I do not know now if I should this flag to true or not. Here is an
> > example
> >
> > setSimplifyDenomsFlag(true)
> > integrate((b*tan(d*x + c)^3)^(3/2),x)
> >
> > hangs.
> >
> > But
> >
> > setSimplifyDenomsFlag(false)
> > integrate((b*tan(d*x + c)^3)^(3/2),x)
> >
> > Returns right away with answer.
> >
> > Since there are 10's of thousands of integrals, how to decide which to
> > option to use?
> > Should I use false all the time? Will using false make some that pass now
> > when using true fail?
> >
> > Any suggestions what to do?
> >
> > Thanks
> > --Nasser
> >
>
> fyi, I just run one test file with the setSimplifyDenomsFlag(true) and
> then with setSimplifyDenomsFlag(false)
>
> When the flag is true Fricas solved 136 integrals in that file. When flag
> is false, Fricas solved 176 integrals.
> The reason is it timed out on those it did not solve when the flag is true.
Can you say which file?
>
> I did not check if there is any that passed when flag is true has now
> failed when flag is false.
>
> But from this quick test, it should net effect is positive. (even though
> some result is now larger).
>
> Should I then re-run all CAS integrations tests for Fricas with this flag
> false based on the above? This will improve the pass/fail result for Fricas
> at the cost of some results being larger than before.
IME Fricas could do more integrals when this flag is true. But Ruby
testsuite is quite biased, so result may be different. Or maybe
you just chose file which prefers false (again, Rubi orgarnizes
tests into familes, so there is string correlation inside typical
files).
BTW: To minimize effects of timeout you can try tests that
Rubi can do in 1 step, they are smaller and for FriCAS should
give allmost the same coverage. AFAICS the other mostly add
"capacity" testing.
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/E1iRLDc-0004uZ-ET%40hera.math.uni.wroc.pl.
