Description
We show how to convert a random integer to OpenMath and print it as XML
i1 : v = openMath 42
o1 = <OMI "42"
o1 : XMLnode
|
i2 : toLibxmlNode v
o2 = <OMI>42</OMI>
o2 : LibxmlNode (xmlTypeDescription)
|
We show how to represent 2*3 in OpenMath
i3 : v = openMath (hold 2*3)
o3 = <OMA
<OMS cd="arith1" name="times"
<OMI "2"
<OMI "3"
o3 : XMLnode
|
i4 : toLibxmlNode v
o4 = <OMA>
<OMS cd="arith1" name="times"/>
<OMI>2</OMI>
<OMI>3</OMI>
</OMA>
o4 : LibxmlNode (xmlTypeDescription)
|