version 1.1, 1999/11/03 07:20:16 |
version 1.4, 2000/01/13 12:48:46 |
|
|
|
|
1, start OMproxy |
1, start OMproxy |
% cd ${OpenXM_HOME}/lib/java-support |
% cd ${OpenXM_HOME}/lib/java-support |
% java OMproxy |
% java -classpath /usr/local/jdk1.1.8/lib/classes.zip:${OpenXM_HOME}/lib/java-support/OpenXM.jar:. OMproxy |
|
|
2, start sm1 and connect to OMproxy |
2, start sm1 and connect to OMproxy |
|
|
Line 24 Byte order for control process is network byte order. |
|
Line 24 Byte order for control process is network byte order. |
|
Byte order for engine process is network byte order. |
Byte order for engine process is network byte order. |
===== ===== |
===== ===== |
|
|
3, send (CMO_ZZ,123) |
3, send '123' of CMO_ZZ format |
|
& trancerate to OpenMath XML encoding |
|
|
=====sm1===== |
=====sm1===== |
sm1>ox (123).. oxsendcmo :: |
sm1>ox (123).. oxsendcmo :: |
%[null] |
%[null] |
|
sm1>ox (CMO2OMXML) oxexec :: |
|
%[null] |
|
sm1>ox oxpopcmo :: |
|
$<OMOBJ><OMI>123</OMI></OMOBJ>$ |
===== ===== |
===== ===== |
|
|
4, trancerate CMO to OpenMath XML encoding |
4, send (CMO_ZZ,5) of OpenMath XML encoding word |
|
& trancerate to CMO format |
|
|
=====sm1===== |
=====sm1====== |
sm1>ox (CMO2OMXML) oxexec :: |
sm1>ox (<OMOBJ><OMI>5</OMI></OMOBJ>) oxsendcmo :: |
%[null] |
%[null] |
|
sm1>ox (OMXML2CMO) oxexec :: |
|
%[null] |
sm1>ox oxpopcmo :: |
sm1>ox oxpopcmo :: |
$<OMI>123</OMI>$ |
5 |
===== ===== |
===== ===== |