[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Domains and expressions
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Domains and expressions |
Date: |
16 Mar 2006 19:23:00 +0100 |
"Bill Page" <address@hidden> 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