Date: Jul 22, 2013 5:53 PM
Author: daly@axiom-developer.org
Subject: Re: An independent integration test suite
On Sunday, July 21, 2013 8:04:31 PM UTC-4, Albert Rich wrote:

> On Saturday, July 20, 2013 7:30:47 PM UTC-10, da...@axiom-developer.org wrote:

>

>

>

> > I have completed the Rich's test set (a+b x)^m (A+B x) (d+e x)^p for Axiom.

>

> > The results are at http://axiom-developer.org/axiom-website/CATS

>

>

>

> Sorry, I don't want to wade through megabytes of raw Axiom test results. What I, and I think others, want to know is what percentage of the problems did Axiom get the optimal antiderivative, what percentage did it get valid but non-optimal antiderivatives, and what percentage is it unable to integrate.

>

>

>

> Albert

Perfectly reasonable. However, it takes a while to create and process

40,000+ integrals. I'll make a second pass when I have created the test

suite to evaluate the results. So far it takes about 3-4 days to create

one of the test suites and you appear to have posted 80 files. The raw

numbers you seek probably won't exist until the end of the year at this

rate.

Rather than the raw numbers I'm more interested in the classes of problems

that Axiom does not handle. My long term plan for this test suite is to

use your patterns to form these classes and then use your patterns to write

pattern-based integration routines to handle them.

Tim