From: nma@12000.org   
      
   On 6/4/2021 5:56 PM, clicliclic@freenet.de wrote:   
      
   >   
   > Wow, Maple users are now given documented access to its Risch   
   > integrator by way of the revolutionary syntax int(f(x), x, method =   
   > risch).   
   >   
   > Just noticed that the FriCAS evaluation of Timofeev 5.89 (#425) is   
   > counted as solved in the latest test run. So FriCAS would have to   
   > handle four more of the Timofeev integrals in order to pull ahead of   
   > the latest Maple.   
   >   
   > Martin.   
   >   
      
   That is correct. There is no verification done for Fricas.   
      
   Only Rubi and Mathematica have verification implemented for   
   them now, so their results are checked each time, and if it does   
   not verify it will flag the result as "not verified" (there are few   
   of these found). But only for Rubi and Mathematica.   
      
   For all other CAS systems, if they finish in the time limit, or   
   do not generate exception, and the result is not the same as the   
   input or do not has not integrate in them (and other checks),   
   (i.e. it "solved it"), it is  automatically counted as "solved".   
      
   The grading functions do not check if the anti-derivative is   
   correct or not.  It only checks for conditions given in the report on   
   what gives grade A, B, C.  And actually result 0 gives A grade,   
   since leaf size gives it this grade and it passes all other conditions   
   for the grading. (no complex numbers, no special functions, etc...)   
      
   The grading function is listed here   
      
   https://www.12000.org/my_notes/CAS_integration_tests/reports/sum   
   er_2021/grade_sagemath.py   
      
   In the future, hopefully a verification will be added to all other CASes.   
      
   Integrals that passes but fail verification are also listed separately for   
   each file to make it easy to find and investigate.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)