Re: [Axiom-developer] OpenMath

[Mike Dewar]

Hi Tim (and Elena),

There are two separate issues here.  The first is the problem of reading
and writing streams of OpenMath tokens.  It is this which uses the
underlying C Library code (which by the way will probably be obsolote
soon: we are hoping to finalise OpenMath 2 in the next week or two).
The second is the question of serialising Axiom objects in OpenMath
encodings.  This is done in Axiom code via the OpenMath category, but is
only implemented for a few domains.

Cheers, Mike.

On Wed, May 12, 2004 at 11:09:23AM -0400, Tim Daly wrote:
> Elena,
> 
> I looked briefly at the OpenMath support in Axiom. 
> I don't believe it is implemented in the best way as it seems
> to jump off to an underlying C program rather than implement
> it as Axiom code. Ideally you should be able to say:
> 
>   )set output OpenMath on
> 
> similar to the way TeX is handled. I'm going to look at what
> it might take to get this working (and, as a side-effect, get
> a better understanding of how TeX can be changed since we need
> to fix TeXmacs also).
> 
> You should be able to pass an expression to Axiom with the 
> current setup. Let me know if we need to change the input 
> side of the system (the Java code I wrote).
> 
> Tim
> 
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-developer
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________