`om.rr'にこの節で定義されている関数が定義されている. Java の実行環境が設定されていることが必要である.
Author of OMproxy : Yasushi Tamura.
om_start
OMproxy
をスタートする. このサーバは CMO と OpenMath XML (CD's in 1999)
との間の変換をおこなう.
[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>>
om_xml
For (I=0; I<10; I++) { A = 2^I; B = om_xml(A); C = om_xml_to_cmo(B); print(A == C); }
om_xml_to_cmo
Jump to: o
@vfill @eject
This document was generated on 23 February 2009 using texi2html 1.56k.