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. Regards --Nasser On Monday, August 22, 2022 at 11:12:27 AM UTC-5 Waldek Hebisch wrote: > On Sat, Aug 20, 2022 at 11:15:25PM -0700, 'Nasser M. Abbasi' via FriCAS - > computer algebra system wrote: > > FYI, > > > > (Posted at https://groups.google.com/g/fricas-devel and > > https://groups.google.com/g/sci.math.symbolic) > > > > Independent CAS integration tests summer 2022 edition is now complete. > > (It took about 5 months since I initially started working on it!) > > > > < > https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2022/index.htm > > > > > > Thanks for your effort. > > I looked at integrals were you report much higher size than > "optimal". For FriCAS there are several cases where you > report size thousends time larger than other systems. > However, when I try the examples I see large result, > but much smaller and quite different than result on > your pages. In particular: > > File nr command > 25 1276 integrate(1/(b*x^5+a), x) > 29 186 integrate((h*x^5+g*x^4+f*x^3+e*x^2+d*x+c)/(-b*x^4+a),x) > 42 21 integrate((f*x^2+e*x+d)/(c*x^4+b*x^2+a),x) > 43 22 integrate(x^3*(C*x^2+B*x+A)/(c*x^4+b*x^2+a),x) > 51 134 integrate(x^2/(-x^4+4*x^3-8*x^2+a+8*x),x) > 79 254 integrate(1/(a-b*sin(x)^8),x) > 95 79 integrate(1/(a-b*cos(x)^8),x) > 103 1257 integrate(1/(a+b*tan(f*x+e))/(c+d*tan(f*x+e))^(3/2),x) > 104 354 integrate(cot(d*x+c)*(A+B*tan(d*x+c))/(a+b*tan(d*x+c))^(3/2),x) > > ATM my guess is that Sage is transforming FriCAS result making > it _much_ larger. AFAICS in all FriCAS result involve implict > algebraic quantities (constants). > > BTW: looking earlier I noticed some discrepancies between pages, > summary claimed that result is big, specific page claimed timeout. > > -- > 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/f6a0fe3c-63e0-4485-a562-446607f56f87n%40googlegroups.com.
