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. 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. --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/39c5f75a-3e6e-4494-8eaa-9af7d89ec021%40googlegroups.com.
