OpenMath XML Translation Server Manual

Edition : auto generated by oxgentexi on May 1, 2025

@overfullrule=0pt

1 OpenMath Functions(Version 1999)

The functions in this section is defined in the file ‘om.rr’. An environment to execute Java codes must be set to call the functions described in this section.

Author of OMproxy : Yasushi Tamura.

1.0.1 om_start

om_start()

:: Start OMproxy server to make a translation between CMO and OpenMath XML (CD’s in 1999) expressions.

return

Number

[155] load("om.rr");
1
[160] om_start();
control: wait OX
Trying to connect to the server... Done.
0
[161] om_xml(<<1,0>>+2*<<0,1>>);
<OMOBJ><OMA><OMS name="DMP" cd="poly"/>
<OMA><OMS name="PolyRing" cd="poly"/>
 <OMI>2</OMI></OMA><OMA>
 <OMS name="SDMP" cd="poly"/>
 <OMA><OMS name="Monom" cd="poly"/><OMI>1</OMI><OMI>1</OMI><OMI>0</OMI></OMA>
 <OMA><OMS name="Monom" cd="poly"/><OMI>2</OMI><OMI>0</OMI><OMI>1</OMI></OMA>
</OMA></OMA></OMOBJ>
[162] om_xml_to_cmo(@);
(1)*<<1,0>>+(2)*<<0,1>>

1.0.2 om_xml

om_xml(s|proc=p)

:: Translate CMO expression of s to a XML expression of OpenMath(CD’s in 1999).

return

String

p

Number

s

Object

• Translate CMO s to a XML expression of OpenMath(CD’s in 1999).

For (I=0; I<10; I++) {
   A = 2^I;
   B = om_xml(A);
   C = om_xml_to_cmo(B);
   print(A == C);
}

1.0.3 om_xml_to_cmo

om_xml_to_cmo(s|proc=p)

:: Translate XML expression (CD’s in 1999) s of OpenMath to a CMO.

return

Object

p

Number

s

String

• Translate XML expression (CD’s in 1999) s of OpenMath to a CMO.

Index

Table of Contents

Short Table of Contents

About This Document

This document was generated on May 1, 2025 using texi2html 5.0.

The buttons in the navigation panels have the following meaning:

where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:

• 1. Section One
  • 1.1 Subsection One-One
    • ...
  • 1.2 Subsection One-Two
    • 1.2.1 Subsubsection One-Two-One
    • 1.2.2 Subsubsection One-Two-Two
    • 1.2.3 Subsubsection One-Two-Three     <== Current Position
    • 1.2.4 Subsubsection One-Two-Four
  • 1.3 Subsection One-Three
    • ...
  • 1.4 Subsection One-Four

This document was generated on May 1, 2025 using texi2html 5.0.