[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Axiom help needed
From: |
Camm Maguire |
Subject: |
Re: [Axiom-developer] Re: Axiom help needed |
Date: |
28 Jan 2004 12:05:33 -0500 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
address@hidden writes:
> 3. This is for Camm Maguire. Can you please give me some hints on
> implementing a phrasebook for AXIOM ? Are there some encoders/decoders from
> OpenMath to AXIOM and vice-versa available ?
I'm afraid I don't know what a 'phrasebook' is in this context. Once
I write the common lisp bindings in GCL to the (C) openmath library,
doesn't axiom already know about that api?
Take care,
>
> Thank you very much,
> Dacian
>
> -----Original Message-----
> From: Camm Maguire [mailto:address@hidden
> Sent: Montag, 19. Januar 2004 16:56
> To: Tudor Dacian (CN L External)
> Cc: address@hidden; address@hidden; address@hidden
> Subject: Re: [Axiom-developer] Re: Axiom help needed
>
>
> Greetings! I don't know about AXIOM 2.3 -- is this the last commercial
> release? The open source version available via cvs does not yet have the
> openmath bindings to my understanding. These do not appear difficult to
> implement. If you are in a hurry and want to try your hand before I get to
> it, I can describe briefly how it should be done.
>
> Take care,
>
> address@hidden writes:
>
> > Hi all,
> >
> > I need a solution to have AXIOM running with OpenMath. Can you tell me
> > if such a solution is available at the moment and if not what would be
> > the steps I should follow to have it. I read that there is a AXIOM 2.3
> > delivery with OpenMath support but I don't know if it is true and
> > where I can get it from.
> >
> > Best wishes,
> > Dacian
> >
> > -----Original Message-----
> > From: Camm Maguire [mailto:address@hidden
> > Sent: Montag, 19. Januar 2004 16:04
> > To: David MENTRE
> > Cc: address@hidden; Tudor Dacian (CN L External);
> address@hidden
> > Subject: Re: [Axiom-developer] Re: Axiom help needed
> >
> >
> > Greetings!
> >
> > David MENTRE <address@hidden> writes:
> >
> > > Regarding OpenMath, I'm afraid but I think all NAG work to support
> > > OpenMath is no longer available in current free Axiom. However, Bill
> > > Page, Camm Maguire (lead developer of Gnu Common Lisp) and of course
> > > Mike Dewar where also interested by OpenMath and they might help you.
> > > They are on this list.
> > >
> >
> > If this is a priority item, I might find time later this week/weekend
> > to write a GCL interface to the OpenMath library.
> >
> > Take care,
> >
> > >
> > > I hope it helps,
> > > Yours,
> > > d.
> > > --
> > > David MENTRE <address@hidden> --
> > > http://www.nongnu.org/axiom/
> > >
> > >
> > > _______________________________________________
> > > Axiom-developer mailing list
> > > address@hidden
> > > http://mail.nongnu.org/mailman/listinfo/axiom-developer
> > >
> > >
> > >
> >
> > --
> > Camm Maguire address@hidden
> > ======================================================================
> > ====
> > "The earth is but one country, and mankind its citizens." -- Baha'u'llah
> >
> >
> >
>
> --
> Camm Maguire address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens." -- Baha'u'llah
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- Re: [Axiom-developer] Re: Axiom help needed, (continued)