From: nma@12000.org   
      
   On 3/12/2017 6:55 PM, clicliclic@freenet.de wrote:   
   >   
   >   
   > I remember that Maxima solves only about 80% of the Timofeev testsuite;   
   > Sympy should even be noticeably weaker as Sage chose Maxima for its   
   > default integrator. The Giac/Xcas integrator (as used in GeoGebra)   
   > presumably isn't stronger either - somebody should really run the tests   
   > on Sympy and Giac/Xcas:   
   >   
      
   > Martin.   
   >   
      
   I tried to add Fricas and Sympy to the CAS integration tests,   
   but my Fricas skills still not good enough yet to write a build   
   script for it. For sympy, which I know little about, but when I   
   tried it, the syntax seems much different, so can't Axiom files   
   for sympy. It needs new syntax set of files for all the   
   63,000+ integrals currently at Albert's Rubi web site.   
      
   For example, one has to use ** for exponent, but axiom uses ^ for   
   exponent). One has to define all symbols using a=Symbol('a') and   
   so on. So there is some syntax difference from Axiom. May be   
   there is a way to automatically convery Axiom files to Sympy   
   valid syntax?   
      
   If all CAS systems used the same common computer programming   
   language, life will be so much simpler, and one does not   
   have to learn new syntax each time  :)   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)