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

Go to the first, previous, next, last section, table of contents.