Re: [Axiom-mail] Axiom and OpenMath/MathMl

[Mike Dewar]

The OpenMath connectivity in Axiom 2.3 was based on the latest version
of the INRIA C Library cited in the paper by Dalmas et al.  Since NAG
doesn't own that library and I was unsure of whether its license
conditions would be acceptable to the open source community I disabled
the code which linked with it in the version of CCL I sent to
Arthur/Tim.  The library itself is freely available from the link
http://www.openmath.org/cocoon/openmath/software/OMCv1.4a.tgz.

The support for translating Axiom to OpenMath (which doesn't depend on
the INRIA Library) wasn't extensive - we basically wanted to have the core
OpenMath content dictionaries supported but its not too hard to extend
that.  Going e.g. "OMwrite sin(x)" should return a string containing the
OpenMath encoding of sin(x).

Mike.

On Fri, Dec 06, 2002 at 10:20:34PM -0500, Tim Daly wrote:
> 
> >Bill Page wrote:
> 
> > Finally, to ask a direct question: I was wondering what
> > level of support/encouragement for doing something with
> > open source Axiom and OpenMath among the potential
> > Axiom volunteer developers? I think Tim Daly has already
> > (more or less) cast his vote in favor of doing the text
> > interface first (of course) and then a LaTex-oriented
> > interface for graphical output along the lines of the
> > old NAG techexplorer GUI. Right Tim? What do other people
> > here think?
> 
> The latest sources and the underlying CCL lisp contain support
> for OpenMath (search the CVS tree sources for "OpenMath"). I'm
> not sure how complete the support is at the moment. Mike Dewar
> probably knows.
> 
> Tim
> 
> 
> _____________________________________________________________________
> This message has been checked for all known viruses by Star Internet
> delivered through the MessageLabs Virus Scanning Service. For further
> information visit http://www.star.net.uk/stats.asp or alternatively call
> Star Internet for details on the Virus Scanning Service.

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.