sm1_xml_tree_to_prefix_string
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))
om_*
, OpenXM/src/OpenMath
, eval_str
Go to the first, previous, next, last section, table of contents.