Re: [Axiom-developer] OpenMath

[root]

Mike,

When you finalize the next draft standard could you point me at a copy?

It seems the best path forward would be to:

  modify the domains to serialize their data
    this is required to properly output the openmath

  modify OpenMath domain to work with )set output openmath on
    this makes openmath work like all of the other output streams

  move OpenMath off the C code base and onto the latest standard
    keeping up with the world at large.

Tim