From: nma@12000.org   
      
   On 4/12/2020 5:33 AM, samuel.thomas.blake@gmail.com wrote:   
      
   >   
   > Also, I'm more than happy for the 190 integrals to be included in any tests   
   people would like to run. I have several thousand others which I'll put up on   
   github along with their solutions.   
   >   
      
   To add your integrals to the CAS integration tests, each integral needs to also   
   have its optimal antiderivative.   
      
   Albert's test suite data, has this format for each integral. There are 4 fields   
      
          the_integrand, variable_name, , the_optimal_anti_derivative   
      
   Do not worry about the 3rd field  there. It is for Rubi (number of rules   
   used).   
   My scripts do not use this field actually now.   
      
   So only extra field really needed (for grading of the result) is the   
   the_optimal_anti_derivative which Albert has generated for each one of the   
   70,000 integrals (those that have known antiderivative)   
      
   Once the input file that contains the list of integrals has the above format,   
   it is easy to add it to my build.   
      
   But notice also, that same integrals need to be in Maple syntax   
   since all CAS systems must have the same input.   
      
   I wrote a program that translate Maple's syntax to Python and sagemath syntax.   
   This   
   is for use with sympy, Maxima, Fricas and GIAC.   
      
   Albert's test files come already with a version using Maple syntax. So   
   your integrals need to be translated to Maple syntax from Mathematica, which I   
   think Albert has his own program that does this. (I am assuming your   
   integral are all in Mathematica syntax)   
      
   So may be you could discuss this with Albert about adding your integrals   
   to his Rubi input test files, then I could use them.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)