Annotation of OpenXM/src/ox_math/documents/samplelog-sm1.txt, Revision 1.2
1.2 ! takayama 1: %% $OpenXM: OpenXM/src/ox_math/documents/samplelog-sm1.txt,v 1.1 1999/11/05 03:00:34 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
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>