Date: Jul 14, 2013 5:46 AM
Author: daly@axiom-developer.org
Subject: Re: An independent integration test suite

On Sunday, July 14, 2013 3:19:20 AM UTC-4, Nasser M. Abbasi wrote:> On 7/13/2013 11:22 PM, daly@axiom-developer.org wrote:> > > > >> > > Axiom has published a Computer Algebra Test Suite at> > > http://axiom-developer.org/axiom-website/CATS/index.html> > >> > > It includes Schaums integrals and Kamke's Ordinary Differential Equations.> > > > I am working on Kamke, and have all the ode's and have the book also which> > I check with.> > > > The problem is writing the document itself to show the result of Maple> > and Mathematica next to each other is what is taking long time,> > since it involves lots of manual work.> > > > The problem is with Maple it is not possible to export each result> > on its own to a .png file so I can include that in my Latex report.> > > > Exporting each ODE's result to Latex does not work for long results> > since sometimes the latex needs manual breaking of the generated> > equation. (if there is long expression between \left(... and \right)> > > > So I have to do each one by one and use .png files to capture> > the result.> > > > Currently there are about 150 or so done> > > > http://12000.org/my_notes/kamek/kamke_differential_equations.htm> > > > again, to make a document, in Latex, which includes many CAS's> > results, the CAS itself must help in terms of making it easy> > to export things. Mathematica is very good in this area, so one can> > automate all this in code and run over the hundreds of the ODE's and do> > everything in code. But to integrate results of other CAS'es into> > one document, this process breaks down.> > > > --Nasser> > > > > It also includes Albert Rich's integration set.> > > In all there are several thousand examples.> > >> > > The source file format is latex, the output file format is pdf.> > > The axiom.sty package is at> > > http://axiom-developer.org/axiom-website/CATS/axiom.sty> > >> > > Each problem includes the source input.> > > Axiom's output is prefixed with --R which is an Axiom comment.> > >I will be interested in seeing your results.The whole point of this exercise, at least for Axiom,is to have a validated test suite. I found a few errorsin the reference books while testing. I will compare yourresults to the posted results for Axiom.I agree that creating these test suites by hand is ahuge task. It took me a couple months to create theCATS test suite so far. That's why I'd like to see theDLMF completely machine-readable.Tim