Re: [Maxima-discuss] Maxima 5.1.40 cannot integrate A&S integral 5.1.42

[Richard F. <fa...@be...>]

On 6/19/2017 8:57 AM, Soegtrop, Michael wrote:
>
> Dear Richard,
>
> but since the answer involves the exponential integral Ei   (or some
> other expression involving gamma or hypergeometric functions),
> maybe it is not exactly a bug.  An unimplemented extension
> maybe.
>
> Since Maxima has all the exponential integral functions used in A&S 
> (expintegral_e1, expintegral_ei, …), I was expecting that the 
> exponential integrals in A&S are handled.
>
Sorry, it is much easier to differentiate Ei than to produce it as the
result of integration.

> The solution to this and many other integrals may be found by
> (eventually) incorporating Albert Rich's  Rubi  program into Maxima.
> http://www.apmaths.uwo.ca/~arich/ <http://www.apmaths.uwo.ca/%7Earich/>
> which would be possible when the (promised) separation of Rubi
> from its current rule-based / Mathematica syntax  is complete.
>
> Is someone working on doing this manually,
>
Albert Rich seems intent on doing this, sometime, mostly automatically
>
> or is someone working on an automated Mathematica to Maxima translator
>
This sort of exists, at least for the syntax of expressions and 
patterns. There is
no obvious "translation" between some Mathematica commands and Maxima
programs, e.g. FullSimplify[]  or Reduce[].  And the pattern-matching 
differs in minor ways.

> for specific use cases?
>
Big chunks of the original Rubi can be loaded into lisp, but not all of it.
RJF
>
> Best regards,
>
> Michael
>
> Intel Deutschland GmbH
> Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
> Tel: +49 89 99 8853-0, www.intel.de
> Managing Directors: Christin Eisenschmid, Christian Lamprechter
> Chairperson of the Supervisory Board: Nicole Lau
> Registered Office: Munich
> Commercial Register: Amtsgericht Muenchen HRB 186928
>