"Bill Page" <[EMAIL PROTECTED]> writes: | Gaby, | | On March 14, 2006 6:42 PM you wrote: | > | > Chasing links led me to this | > | > | http://portal.acm.org/citation.cfm?id=190695&dl=GUIDE&coll=GUIDE&CFID=673307 | 48&CFTOKEN=77193109 | | > Do people know what happens to "Gauss"? | | Once long ago as a new user of Maple I remember trying Gauss. | I was distinctly unimpressed. That was with Maple release 4 | which actually, I rather liked.
Thanks for sharing your experience. I was asking because I did not seem to be successful in getting anything from web-searching. | I believe that at the time Gauss was available from MapleSoft, | but I can't find it now on their website. If you are really | interested you might inquire at | | http://www.maplesoft.com | | Of course the idea of adding something as heavy as an object- | oriented strongly-typed extension to an untyped interpreted | language is pretty questionable anyway... I think B#, adding | an "untyped" interpreted user-level language to a strongly-typed | language like Aldor, makes more sense. Don't you think? Yes; I was intrigued by the paper. | > In their approach to mimic Axiom, they avoid been careful in | > making AbelianMonoid "derive" from Monoid. | | Yes, that is interesting - nice diagram. I wonder how much | of that was actually implemented? Good question. | Here is the only other reference I could find: | | Design and implementation of symbolic computation systems: | International Symposium, DISCO '93, Gmunden, Austria, | September 15-17, 1993 : proceedings | (Lecture notes in computer science) | | http://books.google.com/books?id=NrpGnrVET_MC | | You might want to check if your library has a copy. Thanks, I'll try that. | Gauss: A Parameterized Domain of Computation System with | Support for Signature Functions, by M.B Monagan, page 81. | | Notice also the article by Tony Hearn about order-sorted | algebras: "An Order-Sorted Approach to Algebraic Computation". | Page 134. Thanks! -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
