On Mon, Aug 22, 2022 at 01:25:32PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > Hello Waldek; > > Yes, I saw these very large results. > > Did you try with the setSimplifyDenomsFlag true? > > I just did, on sagemath, and I see the size of the Fricas anti derivatives > becomes much much larger due to this. > > Please see the following folder > > https://12000.org/tmp/Fricas_size_diff/ > > I put 2 plain text files there. > > Fricas_flag_false.txt > <https://12000.org/tmp/Fricas_size_diff/Fricas_flag_false.txt> > Fricas_flag_true.txt > <https://12000.org/tmp/Fricas_size_diff/Fricas_flag_true.txt> > > One was run on the first integral you show which is > > 25 1276 integrate(1/(b*x^5+a), x) > > with the flag false (default) and the second file shows the output when the > flag is true. > The result when the flag is true is indeed much much larger. > > I will be happy to run Fricas tests with this flag on or off. But I have to > pick one. Last year's tests were all run with this flag true also.
Please see actual FriCAS result (with setSimplifyDenomsFlag(true)): http://www.math.uni.wroc.pl/~hebisch/fricas/int_size.txt it has 5171 characters. With defaul setSimplifyDenomsFlag(false) the result is sligtly larger: 5366 characters. Sage result that you post is 2223955 characters, that is 430 times larger than FriCAS result. As you can see setSimplifyDenomsFlag has little influence on size of FriCAS result. OTOH differences in those results apparently have dramatic influence on what Sage is doing to the result. Note that even with default setting Sage result is about 7 times larger than FriCAS result. IIUC size of Sage result is due to Sage limitations that are unlikely to change in near future. However, in such cases size of result as seen via Sage interface in meaningless compared to true size of FriCAS result. -- 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/20220823012845.GA19989%40fricas.math.uni.wroc.pl.
