copy of plain text release notes are here 
<https://12000.org/my_notes/CAS_integration_tests/reports/summer_2023/email_release_notes_summer_2023.txt>

Cross posted at sci.math.symbolics 
<https://groups.google.com/g/sci.math.symbolic/c/r3yxnF6096o>

--Nasser

On Thursday, September 7, 2023 at 4:03:55 AM UTC-5 Nasser M. Abbasi wrote:

>
> fyi, summer 2023 edition of CAS integration tests is now completed after 7 
> months running.
>
> There is now a new chapter that shows internal exceptions generated by 
> different CAS systems.
>
> These are the Fricas ones (DISTINCT ones, not the full list as there are 
> over 2.000)
>
>    sqlite> select DISTINCT fricas_anti from main where fricas_pass=-2;
>
> Error detected within library code:   integrate: implementation incomplete 
> (constant residues)
>
> Error detected within library code:   integrate: implementation incomplete 
> (has polynomial part)
>
> Error detected within library code:   not invertible
>
> Error detected within library code:   Curve not irreducible after change 
> of variable 0 -> infinity
>
> Error detected within library code:   integrate: implementation incomplete 
> (residue poly has multiple non-linear factors)
>
> Error detected within library code:   integrate: implementation incomplete 
> (trace 0)
>
> Error detected within library code:   catdef: division by zero
>
> RuntimeError >> no explicit roots found
>
> Error detected within library code:   alglogextint: unimplemented
>
> Error detected within library code:   Not integrable (provided residues 
> have no relations)
>
> Error detected within library code:   Shouldn not  happen
>
> Error detected within library code:   Too many variables
>
> Error detected within library code:   failed of mode 
>
> Union(SparseUnivariatePolynomial(Expression(Complex(Integer))),failed) 
>
> Error detected within library code:   failed of mode 
>
> Union(SparseUnivariatePolynomial(Expression(Integer)),failed)
>
> System error:   Heap exhausted  45588576 requested.PROCEED WITH CAUTION.
>
> AttributeError
>
> Error detected within library code:   integrate: implementation incomplete 
> (irrational residues)
>
> Error detected within library code:   do_alg_rde: unimplemented kernel
>
> System error:   Heap exhausted (no more space for allocation).PROCEED WITH 
> CAUTION.
>
>    Number of problems failed in Fricas due to exception is 
>
>     sqlite> select COUNT(*) from main where fricas_pass=-2;
>     2017
>
>     Out of total 85963 integrals, this gives 2.34%.
>
> Fricas did well, scoring 80.892%, Highest of the open source CAS systems.
>
> Solved percentage
> -------------------
> 1.  Mathematica  % 98.233
> 2.  Rubi         % 94.217
> 3.  Maple       % 86.609
> 4.  Fricas      % 80.892
> 5.  Giac         % 59.034
> 6.  Maxima(*) % 57.28  --> 57.28+5.516 = % 62.796 (see below on exceptions)
> 7.  Mupad        % 57.09
> 8.  Sympy        % 43.562
>
>  
> Full reports are here 
> <https://12000.org/my_notes/CAS_integration_tests/reports/summer_2023/index.htm>
>
> --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/fe03eba0-5940-40bb-b497-9d9e73c7bc63n%40googlegroups.com.
  • [fricas-devel] FYI... 'Nasser M. Abbasi' via FriCAS - computer algebra system
    • [fricas-devel... 'Nasser M. Abbasi' via FriCAS - computer algebra system
    • Re: [fricas-d... Waldek Hebisch
      • Re: [fric... 'Nasser M. Abbasi' via FriCAS - computer algebra system
        • Re: [... 'Martin R' via FriCAS - computer algebra system
          • R... 'Nasser M. Abbasi' via FriCAS - computer algebra system

Reply via email to