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

sm1.xml_tree_to_prefix_string(S|proc=P)
     :: Translate OpenMath Tree Expression S in XML to a prefix
     notation.

RETURN
     String

P
     Number

S
     String

   * It translate OpenMath Tree Expression S in XML to a prefix
     notation.

   * This function should be moved to om_* in a future.

   * `om_xml_to_cmo(OpenMath Tree Expression)' returns CMO_TREE.  asir
     has not yet understood this CMO.

   * `java' execution environment is required.  (For example,
     `/usr/local/jdk1.1.8/bin' should be in the command search path.)

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

Reference
     `om_*', `OpenXM/src/OpenMath', `eval_str'

