
Re: An independent integration test suite
Posted:
Jul 14, 2013 3:19 AM


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. >

