antispam@math.uni.wroc.pl schrieb:   
   >   
   > FriCAS is an advanced computer algebra system. Its capabilities   
   > range from calculus (integration and differentiation) to abstract   
   > algebra. It can plot functions and has integrated help system.   
   >   
   > FriCAS 1.3.0 should build on Linux and many Unix like systems (for   
   > example Mac OSX and Cygwin).  FriCAS is build on top of Common Lisp;   
   > several Lisps can compile and run FriCAS -- currently supported are   
   > GCL, SBCL, Clisp, ECL, Closure CL (former OpenMCL).   
   >   
   > [...]   
   >   
   > Notable changes (compared to version 1.2.7):   
   >   
   > [...]   
   >   
   > - Improved integrator, handles few more 'erf' cases   
   >   more algebraic functions.  Result should be   
   >     simpler.   
   >   
      
   I suppose "more algebraic functions" include those cube-root integrands   
   whose Trager resultants are polynomials in t^3. When some change in the   
   integrand coefficients makes such integrals non-elementary, does FriCAS   
   1.3.0 certify them as non-elementary by returning them unevaluated, or   
   does it merely exit with an error message like "implementation   
   incomplete (trace 0)"?   
      
   Analogy suggests that Trager's resultants for classical Goursat pseudo-   
   elliptics involving square roots of quartics or cubics are limited to   
   polynomials in t^2. Perhaps the problem integrand (x - SQRT(a^2+1) - a)   
   / ((x + SQRT(a^2+1) - a)*SQRT((x - a)*(x^2 + 1))) could thus also be   
   handled in finite time by hard-coding of the splitting field.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)