
Re: An independent integration test suite
Posted:
Jul 14, 2013 5:46 AM


On Sunday, July 14, 2013 3:19:20 AM UTC4, Nasser M. Abbasi wrote: > On 7/13/2013 11:22 PM, daly@axiomdeveloper.org wrote: > > > > > > > > Axiom has published a Computer Algebra Test Suite at > > > http://axiomdeveloper.org/axiomwebsite/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://axiomdeveloper.org/axiomwebsite/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 errors in the reference books while testing. I will compare your results to the posted results for Axiom.
I agree that creating these test suites by hand is a huge task. It took me a couple months to create the CATS test suite so far. That's why I'd like to see the DLMF completely machinereadable.
Tim

