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/20220822161229.GB16483%40fricas.math.uni.wroc.pl.
        • Re: [... 'Nasser M. Abbasi' via FriCAS - computer algebra system
          • R... Waldek Hebisch
            • ... 'Nasser M. Abbasi' via FriCAS - computer algebra system
            • ... 'Nasser M. Abbasi' via FriCAS - computer algebra system
        • Re: [... Waldek Hebisch
      • Re: [fric... 'Nasser M. Abbasi' via FriCAS - computer algebra system
        • Re: [... 'Nasser M. Abbasi' via FriCAS - computer algebra system
          • R... Ralf Hemmecke
            • ... 'Nasser M. Abbasi' via FriCAS - computer algebra system
              • ... Ralf Hemmecke
  • Re: [fricas-devel]... Waldek Hebisch
    • Re: [fricas-d... 'Nasser M. Abbasi' via FriCAS - computer algebra system
      • Re: [fric... Waldek Hebisch
        • Re: [... 'Nasser M. Abbasi' via FriCAS - computer algebra system
          • R... Waldek Hebisch
            • ... Ralf Hemmecke
        • Re: [... 'Martin R' via FriCAS - computer algebra system
          • R... Waldek Hebisch
            • ... Dima Pasechnik
              • ... 'Martin R' via FriCAS - computer algebra system
              • ... Dima Pasechnik

Reply via email to