On Sun, 16 Dec 2007, Bill Page wrote: | On 16 Dec 2007 11:29:05 -0600, Gabriel Dos Reis wrote: | > Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | > | > | | Anyway now that we can support OpenAxiom on the Axiom Wiki I | > | | would like to create some pages specifically to show off some of | > | | what is different about OpenAxiom compared to the others. I have | > | | a little start at that here: | > | | | > | | http://axiom-wiki.newsynthesis.org/SandBoxOpenAxiom | > | | | > | | I would like to expand this, add some useful documentation or | > | | references to documentation and then make it a full-fledged "article" | > | | page rather than just a "sandbox" page. If you or anyone in your group | > | | would like to contribute to this, it would be a great help to me. So | > | | far all that I have is what I can follow from your patches and posts | > | | to the open-axiom list. | > | | > | Thanks for doing this. | > | | > | The error for reify(String) must be a recent regression I introduced | > | -- I see some other similar report. I'm investigating. | > | > Bill, the patch below fixes the failure at the bottom of that page. | > | | Thanks, Gaby! | | I've updated the version of OpenAxiom on axiom-wiki and it seems to | work as I expected now: | | http://axiom-wiki.newsynthesis.org/SandBoxOpenAxiom
Thanks. Interesting the last line -- I wonder why I did not noticed it in my testsuite. Looking at showSummary AlgebraicNumber I see that something is already wrong with the data produced for that domain... | Any chance you could find a some "documentation or references" to help | me write something more meaningful about these extensions to | OpenAxiom? Sure; this is end of semester so things are a bit hectic, but hopefully soon. Thanks! -- Gaby ------------------------------------------------------------------------- SF.Net email is sponsored by: Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
