1.2.10 `sm1.xml_tree_to_prefix_string'
--------------------------------------

sm1.xml_tree_to_prefix_string(S|proc=P)
     :: XML で書かれた OpenMath の木表現 S を前置記法になおす.

RETURN
     String

P
     Number

S
     String

   * XML で書かれた OpenMath の木表現 S を前置記法になおす.

   * この函数は om_* に将来移すべきである.

   * `om_xml_to_cmo(OpenMath Tree Expression)' は CMO_TREE を戻す.
     `asir' はこの CMO をまだサポートしていない.

   * `java' の実行環境が必要.  (たとえば, /usr/local/jdk1.1.8/bin
     をコマンドサーチパスに入れるなど.)

     [263] load("om");
     1
     [270] F=om_xml(x^4-1);
     control: wait OX
     Trying to connect to the server... Done.
     <OMOBJ><OMA><OMS name="plus" cd="basic"/><OMA>
     <OMS name="times" cd="basic"/><OMA>
     <OMS name="power" cd="basic"/><OMV name="x"/><OMI>4</OMI></OMA>
     <OMI>1</OMI></OMA><OMA><OMS name="times" cd="basic"/><OMA>
     <OMS name="power" cd="basic"/><OMV name="x"/><OMI>0</OMI></OMA>
     <OMI>-1</OMI></OMA></OMA></OMOBJ>
     [271] sm1.xml_tree_to_prefix_string(F);
     basic_plus(basic_times(basic_power(x,4),1),basic_times(basic_power(x,0),-1))

参照
     `om_*', `OpenXM/src/OpenMath',  `eval_str'

