[Top] [Contents] [Index] [ ? ]

OpenMath XML Translation Server Manual

@def@colon{:}

@overfullrule=0pt


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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>>

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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

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

[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Index

Jump to:   O  
Index Entry Section

O
om_start1.0.1 om_start
om_xml1.0.2 om_xml
om_xml_to_cmo1.0.3 om_xml_to_cmo

Jump to:   O  

[Top] [Contents] [Index] [ ? ]

Table of Contents


[Top] [Contents] [Index] [ ? ]

Short Table of Contents


[Top] [Contents] [Index] [ ? ]

About This Document

This document was generated by Nobuki Takayama on June, 8 2017 using texi2html 1.76.

The buttons in the navigation panels have the following meaning:

Button Name Go to From 1.2.3 go to
[ < ] Back previous section in reading order 1.2.2
[ > ] Forward next section in reading order 1.2.4
[ << ] FastBack beginning of this chapter or previous chapter 1
[ Up ] Up up section 1.2
[ >> ] FastForward next chapter 2
[Top] Top cover (top) of document  
[Contents] Contents table of contents  
[Index] Index index  
[ ? ] About about (help)  

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


This document was generated by Nobuki Takayama on June, 8 2017 using texi2html 1.76.