Annotation of OpenXM/src/OpenMath/usage.txt, Revision 1.2
1.1 tam 1: easy usage:
2:
3: 1, start OMproxy
4: % cd ${OpenXM_HOME}/lib/java-support
5: % java OMproxy
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 ::
! 36: $<OMI>123</OMI>$
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>