Date: Jul 14, 2013 3:19 AM
Author: Nasser Abbasi
Subject: Re: An independent integration test suite

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 whichI check with.The problem is writing the document itself to show the result of Mapleand 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 resulton 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 resultssince sometimes the latex needs manual breaking of the generatedequation. (if there is long expression between \left(... and \right)So I have to do each one by one and use .png files to capturethe result.Currently there are about 150 or so donehttp://12000.org/my_notes/kamek/kamke_differential_equations.htmagain, to make a document, in Latex, which includes many CAS'sresults, the CAS itself must help in terms of making it easyto export things. Mathematica is very good in this area, so one canautomate all this in code and run over the hundreds of the ODE's and doeverything in code. But to integrate results of other CAS'es intoone 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.>