Annotation of OpenXM/src/OpenMath/usage.txt, Revision 1.4
1.1 tam 1: easy usage:
2:
3: 1, start OMproxy
4: % cd ${OpenXM_HOME}/lib/java-support
1.4 ! tam 5: % java -classpath /usr/local/jdk1.1.8/lib/classes.zip:${OpenXM_HOME}/lib/java-support/OpenXM.jar:. OMproxy
1.1 tam 6:
7: 2, start sm1 and connect to OMproxy
8:
9: =====sm1=====
10: sm1>macro package : dr.sm1, 9/26,1995 --- Version 9/8, 1999.
11: sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
12: sm1>(ox.sm1) run ;
13: ox.sm1, --- open sm1 protocol module 10/1,1999 (C) N.Takayama. oxhelp for help
14: sm1>[(localhost) 1300 1200] oxconnect /ox set ;
15: Trying to connect port 1200, ip=100007f
16: connected.
17:
18: Control port 1200 : Connected.
19: Trying to connect port 1300, ip=100007f
20: connected.
21:
22: Stream port 1300 : Connected.
23: Byte order for control process is network byte order.
24: Byte order for engine process is network byte order.
25: ===== =====
26:
1.2 tam 27: 3, send '123' of CMO_ZZ format
28: & trancerate to OpenMath XML encoding
1.1 tam 29:
30: =====sm1=====
31: sm1>ox (123).. oxsendcmo ::
32: %[null]
1.2 tam 33: sm1>ox (CMO2OMXML) oxexec ::
34: %[null]
35: sm1>ox oxpopcmo ::
1.3 tam 36: $<OMOBJ><OMI>123</OMI></OMOBJ>$
1.1 tam 37: ===== =====
38:
1.2 tam 39: 4, send (CMO_ZZ,5) of OpenMath XML encoding word
40: & trancerate to CMO format
1.1 tam 41:
1.2 tam 42: =====sm1======
43: sm1>ox (<OMOBJ><OMI>5</OMI></OMOBJ>) oxsendcmo ::
44: %[null]
45: sm1>ox (OMXML2CMO) oxexec ::
1.1 tam 46: %[null]
47: sm1>ox oxpopcmo ::
1.2 tam 48: 5
1.1 tam 49: ===== =====
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>