You are right. This problem only shows up when using sagemath to call Fricas.
So what should I do? Since I use sagemath and not Fricas directly, would like me to re-run all Fricas tests in sagemath with setSimplifyDenomsFlag as false (default) or should I keep this flage as true but report this as a bug to sagemath and wait to see if it get fixed in some future version of sagemath? --Nasser On Monday, August 22, 2022 at 8:28:46 PM UTC-5 Waldek Hebisch wrote: > 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/2ed445c0-6b01-4021-84be-fd91f84bb5dfn%40googlegroups.com.
