On Dec 7, 2008, at 2:16 PM, root wrote:
Tim, Actually what I'm hoping for is a merged document that can be used byanyone to see the results from various systems compared. This is similarin spirit to the rosetta document I helped author: <http://axiom-developer.org/axiom-website/rosetta.pdf> except that I would like to see such information for standard math test suites. I'm not sufficiently clueful about Sage to generate the information first-hand. So this is independent of how you release your results. I'm willing to do all the work. I'm basically asking for permission to reformat your results into the CATS documents.
Definitely. You certainly have my permission. I'm releasing the test suite under the BSD license and in my mind that applies to the results as well. I'd like it if everybody used the same tests. Cheers, Tim. --- Tim Lahey PhD Candidate, Systems Design Engineering University of Waterloo http://www.linkedin.com/in/timlahey
smime.p7s
Description: S/MIME cryptographic signature
