From: fateman@gmail.com   
      
   For Maxima, put at the beginning,   
   assume(a>0,b>0,.....)   
      
   Probably correct   
   since  the test would use -a instead of a  for negative.   
      
   there might still be questions like  is  b^2-4*a*c  >0.   
   This is useful to get the answer in the most   
   appropriate form,   logs vs arc-trig functions, most   
   often.   
      
   But I hope this does not affect thousands of examples.   
      
   I am unfamiliar with sagemath,  but Maxima does not   
   require  var( ...) declarations.   
      
   I do not know if sagemath allows Maxima's assume.   
      
   constructing and posting somewhere a batch job directly for   
   Maxima might encourage some Maxima fan to put in any   
   additional assume() commands, and maybe find other   
   fixes.  Note that Rubi-based tests do not cover   
   more esoteric functions, an area of some interest   
   to people doing algorithmic (or table-lookup based)   
   indefinite and (especially) definite integration.   
   So the benchmark possibly does not reflect the   
   full sophistication of some of the systems.   
   RJF   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)