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

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