OpenMath XML Translation Server マニュアル

Edition : auto generated by oxgentexi on April 20, 2024

@overfullrule=0pt

1 OpenMath 函数(1999版)

‘om.rr’にこの節で定義されている関数が定義されている. Java の実行環境が設定されていることが必要である.

Author of OMproxy : Yasushi Tamura.

1.0.1 om_start

om_start()

:: OMproxy をスタートする. このサーバは CMO と OpenMath XML (CD’s in 1999) との間の変換をおこなう.

return

数

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

:: s の CMO 表現を OpenMath の XML (CD’s in 1999) 表現になおす.

return

文字列

p

数

s

オブジェクト

• s の CMO 表現を OpenMath の XML (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)

:: OpenMath の XML (CD’s in 1999) 表現 s を CMO になおす.

return

オブジェクト

p

数

s

文字列

• OpenMath の XML (CD’s in 1999) 表現 s を CMO に変換する.

Index

Table of Contents

Short Table of Contents

About This Document

This document was generated on April 20, 2024 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 April 20, 2024 using texi2html 5.0.