pattern matching / lookup integration (was Re: integration using z =tan(x/2) sub)

• Subject: pattern matching / lookup integration (was Re: integration using z =tan(x/2) sub)
• From: David Billinghurst
• Date: Sat, 12 Feb 2011 11:54:15 +1100

On 11/02/2011 11:14 PM, Barton Willis wrote:
> I sometimes wonder if a purely pattern matching / lookup integration would be superior to what we have; for
> examplehttp://www.apmaths.uwo.ca/~arich/  .
>
> --Barton
Yes.  I think this would be a good project.  I looked at Richard 
Fateman's TILU code.  I did get parts of it working under CLISP but my 
lisp-fu was inadequate.

I was thinking along the lines of:

    * using the TILU integral database (and seeing if there were others
      we could steal^H^H^H^H use).
    * using maxima infrastructure - simplifiers, pattern matchers, etc
    * writing new hash / lookup code using the TILU algorithms

but my lisp-fu was inadequate.

If we could get it working then adding new integrals to the database 
would be quite simple.

• Prev by Date: sqrt(x)*sqrt(x)
• Next by Date: constants of integration (was Re: sqrt(x)*sqrt(x))
• Previous by thread: Patch to handle "cf(sqrt(8))" as cf of sqrt
• Next by thread: pattern matching / lookup integration (was Re: integration using z =tan(x/2) sub)
• Index(es):
  • Date
  • Thread