20.37 MATHMLOM: REDUCE OpenMath/MathML
Interface

OpenMath provides extensible standards for representing the semantics of mathematical objects and communicating them between software systems. This package provides commands to translate OpenMath into content MathML and vice versa.

Author: Luis Alvarez-Sobreviela

To use the OpenMath/MathML Interface, the package must first be loaded explicitly by executing the command

     load_package mathmlom;

The following commands translate subsequent input from one standard to the other:

om2mml();

translates OpenMath into MathML;

mml2om();

translates MathML into OpenMath.

Execute one of the above commands, then input one complete expression using the appropriate standard. REDUCE will outputs its intermediate Lisp representation followed by the expression translated to the other standard, and then revert to normal REDUCE input syntax.

Here is a simple example of translating OpenMath into MathML taken from the end of the file mathmlom.rlg. The following input

     om2mml();
     <OMOBJ>
       <OMA>
         <OMS name="rational" cd="nums1"/>
         <OMI>4</OMI>
         <OMI>2</OMI>
       </OMA>
     </OMOBJ>

produces the following output:

     Intermediate representation:
     (rational nil 4 2)

     <math>
        <cn type="rational">4<sep/>2</cn>
     </math>

Hosted by