Annotation of OpenXM/src/ox_math/documents/samplelog-sm1.txt, Revision 1.3
1.3 ! takayama 1: %% $OpenXM: OpenXM/src/ox_math/documents/samplelog-sm1.txt,v 1.2 1999/11/07 00:19:44 takayama Exp $
1.1 takayama 2: samplelog-sm1.txt : sm1 $B$+$i(B, ox_math $B$r8F$S=P$9Nc(B.
3: $BNcBj$O(B, Mathematica Book (S.Wolfram) A Tour of Mathematica $B$h$j(B
4: $B$H$C$?(B.
5:
6: 1999, 11/5 Fri, 11:20:
7:
8: [nobuki@yama nobuki]$ sm1
9:
10: Kan/StackMachine1 1991 April --- 1998.
11: Release 2.991030 (C) N. Takayama
12: gc 4.14 (C) Boehm, Demers, GNU MP 2.0.2 (C) Free Software Foundation,
13: Open XM.
14: This software may be freely distributed as is with no warranty expressed.
15: Info: http://www.math.kobe-u.ac.jp/KAN, kan@math.kobe-u.ac.jp. ? for help.
16:
17: Ready
18:
19: sm1>macro package : dr.sm1, 9/26,1995 --- Version 9/8, 1999.
20: sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
21:
22: sm1>(ox.sm1) run ;
23: ox.sm1, --- open sm1 protocol module 10/1,1999 (C) N.Takayama. oxhelp for help
24: sm1>(ox_launch) usage ;
25: [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname]
26: ox_launch client
27: Example 1:
28: [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin)
29: (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp)
30: ] ox_launch /@@@.oxmath set
31: sm1> [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin)
32: (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (yama.math.kobe-u.ac.jp)
33: ] ox_launch /@@@.oxmath set ;
34: Hello from open. serverName is yama.math.kobe-u.ac.jp and portnumber is 0
35: Done the initialization. port =1026
36: [ 4 , 1026 , 3 , 1024 ]
37: Executing the command : ssh -f tau.math.kobe-u.ac.jp -l taka "/home/taka/OpenXM/bin/oxlog /usr/X11R6/bin/xterm -icon -e /home/taka/OpenXM/bin/ox -reverse -ox /home/taka/OpenXM/src/ox_math/ox_math -host yama.math.kobe-u.ac.jp -data 1026 -control 1024 -pass 269770415 "
38: [
39: taka@tau.math.kobe-u.ac.jp's password:
40: Trying to accept... Accepted.
41: Trying to accept... Accepted.
42:
43: Control port 1024 : Connected.
44:
45: Stream port 1026 : Connected.
46: Byte order for control process is network byte order.
47: Byte order for engine process is network byte order.
48: sm1>@@@.oxmath (N[Sqrt[10],40]) oxsubmit ;
49: sm1>@@@.oxmath oxpopcmo ::
50: $3.16227766016837933199889354443271853372$
51: sm1>@@@.oxmath (FindRoot[BesselJ[0,x],{x,10.5}) oxsubmit ;
52: sm1>@@@.oxmath ::
53: [ $client$ , Name=Buffered IO by FILE2, FILE *=82d2000 , 1026 , 5 , 1024 , 0 , 0 , 0 , 0 , 0 , %[null] , 0 , 0 ]
54: sm1>@@@.oxmath oxpopcmo ::
55: Class.indeterminate $$Failed$
56: sm1>@@@.oxmath (FindRoot[BesselJ[0,x],{x,10.5}]) oxsubmit ;
57: sm1>@@@.oxmath oxpopcmo ::
58: [ $List$ , [ $Rule$ , Class.indeterminate $x$ , $18.071063872589566$ ] ]
59: sm1>@@@.oxmath (NIntegrate[Sin[Sin[x]], {x,0,Pi}]) oxsubmit ;
60: sm1>@@@.oxmath oxpopcmo ::
61: $1.7864874819500596$
62: sm1>@@@.oxmath (FactorInteger[ 20654065386]) oxsubmit ;
63: sm1>@@@.oxmath oxpopcmo ::
64: [ $List$ , [ $List$ , 2 , 1 ] , [ $List$ , 3 , 2 ] , [ $List$ , 43 , 1 ] , [ $List$ , 26684839 , 1 ] ]
65:
66: sm1>@@@.oxmath (Plot[Sin[x^3],{x,-2,2}]) oxsubmit ;
67: Plot $B$rMj$`$H(B Mathematica $B$O0J2<$N$h$&$J5pBg$J%G!<%?$r$*$/$j$+$($7$F$-$F(B
68: $B$/$l$k(B.
69: ..........
70: $0.058848715846176042$ , $0.00020380318568878926$ ] , [ $List$ , $0.063925582957708782$ , $0.00026123062327715319$ ] , [ $List$ , $0.075483797260236019$ , $0.00043009184219683475$ ] , [ $List$ , $0.085389058362520226$ , $0.00062259645710993009$ ] , [ $List$ , $0.094800203092095747$ , $0.00085197676453212636$ ] , [ $List$ , $0.1124643743927272$ , $0.001422475413813041$ ] , [ $List$ , $0.13147941741224145$ , $0.0022728613274591624$ ] , [ $List$ , $0.15222475922816323$ , $0.0035274022435660929$ ] , [ $List$ , $0.17456638178891035$ , $0.0053196098687267566$ ] , [ $List$ , $0.19560281767103044$ , $0.0074837843683483452$ ] , [ $List$ , $0.2349136621617281$ , $0.012963213138804636$ ] , [ $List$ , $0.27724798215631957$ , $0.021309453311807332$ ] , [ $List$ , $0.32301927231130739$ , $0.033697918471413596$ ] , [ $List$ , $0.36298144245228797$ , $0.047806582612823653$ ] , [ $List$ , $0.40682416150617157$ , $0.06728093428390626$ ] , [ $List$ , $0.49531661779027614$ , $0.12122139733321755$ ] , [ $List$ , $0.577319191041195$ , $0.19123382135485076$ ] , [ $List$ , $0.66518232937340627$ , $0.29009067257088256$ ] , [ $List$ , $0.83898250724819956$ , $0.55682026463112355$ ] , [ $List$ , $0.92597335379970913$ , $0.71313087969680655$ ] , [ $List$ , $1.0064165849354911$ , $0.85177998519206055$ ] , [ $List$ , $1.0467183689036557$ , $0.91145412211964616$ ] , [ $List$ , $1.0845351444477094$ , $0.95675903914962124$ ] , [ $List$ , $1.1035191959241926$ , $0.97435028116126077$ ] , [ $List$ , $1.1239738197801938$ , $0.98864205621250267$ ] , [ $List$ , $1.1350366272041006$ , $0.99411754672915609$ ] , [ $List$ , $1.14059782862615$ , $0.99622480932896185$ ] , [ $List$ , $1.1466780326819648$ , $0.99801217555180666$ ] , [ $List$ , $1.1518918871031776$ , $0.9991011313229109$ ] , [ $List$ , $1.1548094669240425$ , $0.99952695300130912$ ] , [ $List$ , $1.1574591361017637$ , $0.99979730104303988$ ] , [ $List$ , $1.1626173398883621$ , $0.99999976249588263$ ] , [ $List$ , $1.167484562435281$ , $0.99978970359145969$ ] , [ $List$ , $1.1723357744205902$ , $0.99918289320997544$ ] , [ $List$ , $1.1775447829536554$ , $0.99807854960111486$ ] , [ $List$ , $1.1824617391562282$ , $0.99659548150788801$ ] , [ $List$ , $1.1869521986730704$ , $0.99485858038227182$ ] , [ $List$ , $1.1979348243966028$ , $0.98902406922202202$ ] , [ $List$ , $1.2083558624748583$ , $0.98132703485916639$ ] , [ $List$ , $1.2190984883554299$ ,
71: ......
72:
73: sm1>
74: @@@.oxmath (Integrate[x/(1-x^3),x]) oxsubmit ;
75: sm1>@@@.oxmath oxpopcmo ::
76: [ $Plus$ , [ $Times$ , -1 , [ $Power$ , 3 , [ $Rational$ , -1 , 2 ] ] , [ $ArcTan$ , [ $Times$ , [ $Power$ , 3 , [ $Rational$ , -1 , 2 ] ] , [ $Plus$ , 1 , [ $Times$ , 2 , Class.indeterminate $x$ ] ] ] ] ] , [ $Times$ , [ $Rational$ , -1 , 3 ] , [ $Log$ , [ $Plus$ , -1 , Class.indeterminate $x$ ] ] ] , [ $Times$ , [ $Rational$ , 1 , 6 ] , [ $Log$ , [ $Plus$ , 1 , Class.indeterminate $x$ , [ $Power$ , Class.indeterminate $x$ , 2 ] ] ] ] ]
77:
78: sm1>@@@.oxmath ( <<Polyhedra.m ) oxsubmit ;
79: sm1>@@@.oxmath oxpopcmo ::
80: Class.indeterminate $$Failed$ $B%U%!%$%k$OFI$_9~$a$J$$(B.
81:
1.2 takayama 82:
83: --------- From mathematica to sm1
84: bash$ pwd
85: /home/taka/OpenXM/src/ox_math
86: bash$ uname -a
87: SunOS tau 5.7 Generic sun4u sparc SUNW,Ultra-5_10
88: bash$ date
89: Sun Nov 7 09:03:55 JST 1999
90: bash$ math
91: couldn't set locale correctly
92: Mathematica 3.0 for Solaris
93: Copyright 1988-97 Wolfram Research, Inc.
94: -- Terminal graphics initialized --
95:
96: In[1]:= Install["math2ox"]
97: couldn't set locale correctly
98:
99: Out[1]= LinkObject['./math2ox', 1, 1]
100:
101: In[2]:= OxStart["../bin/ox_sm1"]
102: Trying to connect port 53613, ip=ffbef06c
103: connected.
104: Trying to connect port 53614, ip=ffbef06c
105: connected.
106: Socket#18: login!.
107: password = (otpasswd), 9 bytes.
108: received = (otpasswd), 9 bytes.
109: Socket#20: login!.
110: password = (otpasswd), 9 bytes.
111: received = (otpasswd), 9 bytes.
112: sm1>macro package : dr.sm1, 9/26,1995 --- Version 9/8, 1999.
113: sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
114: sm1>---------------------------------------------------
115: open (localhost)
116:
117: Out[2]= 0
118:
119: In[3]:= OxExecute["1 1 add "]
120:
121: Out[3]= 0
122:
123: In[4]:= (CMO_STRING[4],[size=8],$1 1 add $),
124: In[4]:= OxPopString[]
125:
126: Out[4]= 2
127:
128: In[5]:= Quit
129: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
130: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
131: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
132: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
133: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
134: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
135: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
136: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
137: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
138: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
139: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
140: oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
141:
142: [control] control function_id is -1
143: Sending the kill signal to the child.
144:
145: sm1 $B$N(B gb ($B%0%l%V%J4pDl7W;;(B), deRham ( de Rham $B%3%[%b%m%87W;;(B)
146: $B$r8F$S=P$9Nc(B.
147:
148: bash$ math
149: couldn't set locale correctly
150: Mathematica 3.0 for Solaris
151: Copyright 1988-97 Wolfram Research, Inc.
152: -- Terminal graphics initialized --
153:
154: In[1]:= Install["math2ox"]
155: couldn't set locale correctly
156:
157: Out[1]= LinkObject['./math2ox', 1, 1]
158:
159: In[2]:= OxStart["../lib/sm1/bin/ox_sm1_forAsir"]
160: Trying to connect port 53620, ip=ffbef05c
161: connected.
162: Trying to connect port 53621, ip=ffbef05c
163: connected.
164: Socket#18: login!.
165: password = (otpasswd), 9 bytes.
166: received = (otpasswd), 9 bytes.
167: Socket#20: login!.
168: password = (otpasswd), 9 bytes.
169: received = (otpasswd), 9 bytes.
170: sm1>macro package : dr.sm1, 9/26,1995 --- Version 9/8, 1999.
171: sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
172: sm1>cohom.sm1 is the top of an experimental package to compute restrictions
173: of all degrees based on restall.sm1 and restall_s.sm1
174: See, http://www.math.kobe-u.ac.jp to get these files of the latest version.
175: Note that the package b-function.sm1 cannot be used with this package.
176: r-interface.sm1 (C) N.Takayama, restriction, deRham
177:
178: hol.sm1, basic package for holonomic systems (C) N.Takayama, 1999, 6/05
179: rank characteristic ch rrank gb pgb syz genericAnn annfs
180: sm1>gkz.sm1 generates gkz systems (C) N.Takayama, 1998, 11/8, cf. rrank in hol.sm1
181: gkz
182: sm1>appell.sm1 generates Appell hypergeometric differential equations (C) N.Takayama, 1998, 11/8, cf. rank in hol.sm1
183: appell1 appell4
184: sm1>resol0.sm1, package to construct schreyer resolutions -- not minimal
185: (C) N.Takayama, 1999, 5/18. resol0, resol1
186: complex.sm1 : 1999, 9/28, res-div, res-solv, res-kernel-image, res-dual
187: In this package, complex is expressed in terms of matrices.
188: restall.sm1 ... compute all the cohomology groups of the restriction
189: of a D-module to tt = (t_1,...,t_d) = (0,...,0).
190: non-Schreyer Version: 19980415 by T.Oaku
191: usage: [(P1)...] [(t1)...] bfm --> the b-function
192: [(P1)...] [(t1)...] k0 k1 deg restall --> cohomologies of restriction
193: [(P1)...] [(t1)...] intbfm --> the b-function for integration
194: [(P1)...] [(t1)...] k0 k1 deg intall --> cohomologies of integration
195: restall_s.sm1...compute all the cohomology groups of the restriction
196: of a D-module to tt = (t_1,...,t_d) = (0,...,0).
197: Schreyer Version: 19990521 by N.Takayama & T.Oaku
198: usage: [(P1)...] [(t1)...] k0 k1 deg restall_s -> cohomologies of restriction
199: [(P1)...] [(t1)...] k0 k1 deg intall_s --> cohomologies of integration
200: No truncation from below in restall
201: The variable Schreyer is set to 2.
202: Loading tower.sm1 in the standard context. You cannot use Schyrer 1. It is controlled from cohom.sm1
203:
204: SSkan/lib/callsm1.sm1, 1999/6/23.
205: ---------------------------------------------------
206: open (localhost)
207:
208: Out[2]= 0
209:
210: D $B$G$N:8%$%G%"%k(B <x Dx + y Dy -1, (x Dx)^2 + d Dy>
211: $B$N(B GB $B$r(B weight (x,y,Dx,Dy) = (0,0,1,1) $B$G5a$a$k(B.
212:
213: In[3]:= OxExecute[" [[(x dx + y dy-2) ( x dx x dx + y dy)] (x,y) [[(dx) 1 (dy) 1]]] gb "]
214:
215: Out[3]= 0
216:
217: In[4]:= (CMO_STRING[4],[size=68],$ [[(x dx + y dy-2) ( x dx x dx + y dy)] (x,y) [[(dx) 1 (dy) 1]]] gb $),
218: In[4]:= OxPopString[]
219:
220: Out[4]= [ [ x*dx+y*dy-2 , -y^2*dy^2-2*x*dx ] , [ x*dx+y*dy , -y^2*dy^2 ] \
221:
222: > ]
223: $B$3$l$,(B GB $B$3$A$i$,(B weight vector
224: $B$G$N<gIt(B ($BFC@-B?MMBN(B)
225:
226: H^i( C^2 \setminus V(x^3-y^2) , C) $B$N<!85(B
227: In[5]:= OxExecute[" [(x^3-y^2) (x,y)] deRham "]
228:
229: Out[5]= 0
230:
231: In[6]:= (CMO_STRING[4],[size=26],$ [(x^3-y^2) (x,y)] deRham $),[ [ -3*y*dx^2+2*x*dy , -2*x*dx-3*y*dy+1 ] , [ x , y ] ] bfm
232: sm1>sm1>b-function is -216*s^3+432*s^2-264*s+48
233: [ [ -3*y*dx^2+2*x*dy , -2*x*dx-3*y*dy+1 ] , [ x , y ] , 1 , 2 ] restall1_s
234: Computing a free resolution ...
235: A free resolution obtained.
236: 0-th cohomology: [ 0 , [ ] ]
237: sm1>-1-th cohomology: [ 1 , [ ] ]
238: sm1>-2-th cohomology: [ 2 , [ -1 ] ]
239:
240: In[6]:= OxPopString[]
241:
242: Out[6]= [ 1 , 1 , 0 ]
243:
244: In[7]:= OxClose[]
245:
246: [control] control function_id is 1024
247: [control] control_kill
248:
249: I have closed the connection to an Open XM server.
250:
251: Out[7]= 0
252:
253: In[8]:= In[8]:= Sending the kill signal to the child.
254:
255: In[8]:= Quit
256: bash$
257:
258:
259: $B$3$l$O<:GTNc(B.
260: bash$ math
261: couldn't set locale correctly
262: Mathematica 3.0 for Solaris
263: Copyright 1988-97 Wolfram Research, Inc.
264: -- Terminal graphics initialized --
265:
266: In[1]:= Install["../bin/ox_sm1"]
267: couldn't set locale correctly
268: sm1 version : 2.991106
269: sm1 url : http://www.math.kobe-u.ac.jp/KAN
270: name = ox_sm1
271: engineByteOrder=0
272:
273: Interrupt during LinkConnect> abort
274: ??
275: Your options are:
276: continue (or c) to continue
277: exit (or quit) to exit Mathematica
278: back out (or b) to back out of the MathLink call--the link may die.
279:
280: Interrupt during LinkConnect> quit
1.3 ! takayama 281:
! 282:
! 283: --------------- sm1 $B$N(B array $B$r$"$i$o$9(B [ ] $B$r(B { } $B$KJQ$($F(B
! 284: --------------- sm1 $B$N=PNO$r(B ToExpression $B$GFI$_9~$`Nc(B
! 285: [tau]bash
! 286: bash$ cd OpenXM
! 287: bash$ cd src/ox_math
! 288: bash$ math
! 289: couldn't set locale correctly
! 290: Mathematica 3.0 for Solaris
! 291: Copyright 1988-97 Wolfram Research, Inc.
! 292: -- Motif graphics initialized --
! 293:
! 294: In[1]:= Install["math2ox"]
! 295: couldn't set locale correctly
! 296:
! 297: Out[1]= LinkObject['./math2ox', 1, 1]
! 298:
! 299: In[2]:= OxStart["/home/taka/OpenXM/lib/sm1/bin/ox_sm1_forAsir"]
! 300: Trying to connect port 53755, ip=ffbef02c
! 301: connected.
! 302: Trying to connect port 53756, ip=ffbef02c
! 303: connected.
! 304: Socket#18: login!.
! 305: password = (otpasswd), 9 bytes.
! 306: received = (otpasswd), 9 bytes.
! 307: Socket#20: login!.
! 308: password = (otpasswd), 9 bytes.
! 309: received = (otpasswd), 9 bytes.
! 310: sm1>macro package : dr.sm1, 9/26,1995 --- Version 11/8, 1999.
! 311: sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
! 312: sm1>cohom.sm1 is the top of an experimental package to compute restrictions
! 313: $B>JN,(B
! 314: Loading tower.sm1 in the standard context. You cannot use Schyrer 1. It is controlled from cohom.sm1
! 315:
! 316: SSkan/lib/callsm1.sm1, 1999/6/23.
! 317: ---------------------------------------------------
! 318: open (localhost)
! 319:
! 320: Out[2]= 0
! 321:
! 322:
! 323: In[10]:= OxExecute[" [(LeftBracket) ({)] system_variable [(RightBracket) (})] system_variable "]
! 324: [ $B$r(B { $B$X(B, ] $B$r(B } $B$X(B.
! 325:
! 326: Out[10]= 0
! 327:
! 328: In[11]:= (CMO_STRING[4],[size=74],$ [(LeftBracket) ({)] system_variable [(RightBracket) (})] system_variable $),
! 329: In[11]:= OxExecute[" [[(x dx + y dy + 1) (x dx x dx - y dy)] (x,y)
! 330: [[(dx) 1 (dy) 1]]] gb "]
! 331: $B%0%l%V%J4pDl$r(B Q<x,y,dx,dy> $B$G(B. weight $B$O(B dx=1, dy=1.
! 332:
! 333: Out[11]= 0
! 334:
! 335: In[12]:= (CMO_STRING[4],[size=81],$ [[(x dx + y dy + 1) (x dx x dx - y dy)] (x,y) [[(dx) 1 (dy) 1]]] gb $),
! 336: In[12]:= ans = OxPopString[]
! 337:
! 338: Out[12]= {{x*dx+y*dy+1 , -y^2*dy^2+x*dx-y*dy} , {x*dx+y*dy , -y^2*dy^2}}
! 339: $B%0%l%V%J4pDl$,J8;zNs$G$+$($k(B.
! 340: $B:G=i$,(B Groebner, 2 $BHVL\$,(B weight dx=1, dy=1 $B$G$N<gMWIt(B.
! 341:
! 342: In[13]:= ans2 = ToExpression[ans]
! 343: Mathematica $B$NB?9`<0$KJQ49(B.
! 344: 2 2 2 2
! 345: Out[13]= {{1 + dx x + dy y, dx x - dy y - dy y }, {dx x + dy y, -(dy y )}}
! 346:
! 347:
! 348: In[17]:= OxExecute[" [[(x dx x dx + y dy y dy -4) (x dx y dy -1)] (x,y)
! 349: [[(dx) 1]]] gb "]
! 350:
! 351: dx $B$N(B weight $B$r(B 1 $B$K$7$F(B, $B%0%l%V%J4pDl$r7W;;(B.
! 352: ****** dx $B$N(B $B>C5nK!(B
! 353:
! 354: Out[17]= 0
! 355:
! 356: In[18]:= (CMO_STRING[4],[size=79],$ [[(x dx x dx + y dy y dy -4) (x dx y dy -1)] (x,y) [[(dx) 1]]] gb $),
! 357: In[18]:= ans = OxPopString[]
! 358:
! 359: Out[18]= {{x*dx+y^3*dy^3+3*y^2*dy^2-3*y*dy ,\
! 360:
! 361: > -y^4*dy^4-6*y^3*dy^3-3*y^2*dy^2+3*y*dy-1} , {x*dx ,\
! 362:
! 363: > -y^4*dy^4-6*y^3*dy^3-3*y^2*dy^2+3*y*dy-1}}
! 364:
! 365: dx $B$r4^$^$J$$HyJ,:nMQAG$,$"$k$N$KCm0U(B!! $B$D$^$j(B dy $B$K$D$$$F$N(B
! 366: $B>oHyJ,J}Dx<0$,$G$?(B.
! 367:
! 368: In[19]:= ToExpression[ans]
! 369:
! 370: 2 2 3 3
! 371: Out[19]= {{dx x - 3 dy y + 3 dy y + dy y ,
! 372:
! 373: 2 2 3 3 4 4
! 374: > -1 + 3 dy y - 3 dy y - 6 dy y - dy y },
! 375:
! 376: 2 2 3 3 4 4
! 377: > {dx x, -1 + 3 dy y - 3 dy y - 6 dy y - dy y }}
! 378:
! 379: In[20]:=
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>