axiom-developer
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]