[BACK]Return to samplelog-sm1.txt CVS log [TXT][DIR] Up to [local] / OpenXM / src / ox_math / documents

Diff for /OpenXM/src/ox_math/documents/samplelog-sm1.txt between version 1.1 and 1.2

version 1.1, 1999/11/05 03:00:34 version 1.2, 1999/11/07 00:19:44
Line 1 
Line 1 
 %% $OpenXM$  %% $OpenXM: OpenXM/src/ox_math/documents/samplelog-sm1.txt,v 1.1 1999/11/05 03:00:34 takayama Exp $
 samplelog-sm1.txt  :  sm1 $B$+$i(B, ox_math $B$r8F$S=P$9Nc(B.  samplelog-sm1.txt  :  sm1 $B$+$i(B, ox_math $B$r8F$S=P$9Nc(B.
 $BNcBj$O(B, Mathematica Book (S.Wolfram) A Tour of Mathematica $B$h$j(B  $BNcBj$O(B, Mathematica Book (S.Wolfram) A Tour of Mathematica $B$h$j(B
 $B$H$C$?(B.  $B$H$C$?(B.
Line 74  sm1>
Line 74  sm1>
 @@@.oxmath (Integrate[x/(1-x^3),x]) oxsubmit ;  @@@.oxmath (Integrate[x/(1-x^3),x]) oxsubmit ;
 sm1>@@@.oxmath oxpopcmo ::  sm1>@@@.oxmath oxpopcmo ::
 [    $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$ , [    $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$ , [    $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 ]  , [    Revision 1.1  1999/11/05 03:00:34  takayama  [    $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 ]  , [    Revision 1.2  1999/11/07 00:19:44  takayama
 [    $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 ]  , [    A sample log of using ox_math from kan/sm1.  [    $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 ]  , [    How to call ox_sm1 from Mathematica.
   [    $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 ]  , [    Example 1:  1+1
   [    $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 ]  , [    Example 2: Computation of Grobner basis in D (ring of differential operators).
   [    $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 ]  , [    Example 3: Computation of deRham cohomology groups.
 [    $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 ]  , [ , [    $Plus$ , -1 , Class.indeterminate $x$ ]  ]  ]  , [    $Times$ , [    $Rational$ , 1 , 6 ]  , [    $Log$  [    $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 ]  , [ , [    $Plus$ , -1 , Class.indeterminate $x$ ]  ]  ]  , [    $Times$ , [    $Rational$ , 1 , 6 ]  , [    $Log$
 [    $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 ]  , [    Revision 1.1  1999/11/05 03:00:34  takayama  [    $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 ]  , [    Revision 1.2  1999/11/07 00:19:44  takayama
 [    $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 ]  , [    A sample log of using ox_math from kan/sm1.  [    $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 ]  , [    How to call ox_sm1 from Mathematica.
   [    $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 ]  , [    Example 1:  1+1
   [    $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 ]  , [    Example 2: Computation of Grobner basis in D (ring of differential operators).
   [    $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 ]  , [    Example 3: Computation of deRham cohomology groups.
 [    $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 ]  , [ , [    $Plus$ , 1 , Class.indeterminate $x$ , [    $Power$ , Class.indeterminate $x$ , 2 ]  ]  ]  ]  ]  [    $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 ]  , [ , [    $Plus$ , 1 , Class.indeterminate $x$ , [    $Power$ , Class.indeterminate $x$ , 2 ]  ]  ]  ]  ]
   
 sm1>@@@.oxmath ( <<Polyhedra.m ) oxsubmit ;  sm1>@@@.oxmath ( <<Polyhedra.m ) oxsubmit ;
 sm1>@@@.oxmath oxpopcmo ::  sm1>@@@.oxmath oxpopcmo ::
 Class.indeterminate $$Failed$   $B%U%!%$%k$OFI$_9~$a$J$$(B.  Class.indeterminate $$Failed$   $B%U%!%$%k$OFI$_9~$a$J$$(B.
   
   
   ---------   From mathematica to sm1
   bash$ pwd
   /home/taka/OpenXM/src/ox_math
   bash$ uname -a
   SunOS tau 5.7 Generic sun4u sparc SUNW,Ultra-5_10
   bash$ date
   Sun Nov  7 09:03:55 JST 1999
   bash$ math
   couldn't set locale correctly
   Mathematica 3.0 for Solaris
   Copyright 1988-97 Wolfram Research, Inc.
    -- Terminal graphics initialized --
   
   In[1]:= Install["math2ox"]
   couldn't set locale correctly
   
   Out[1]= LinkObject['./math2ox', 1, 1]
   
   In[2]:= OxStart["../bin/ox_sm1"]
   Trying to connect port 53613, ip=ffbef06c
   connected.
   Trying to connect port 53614, ip=ffbef06c
   connected.
   Socket#18: login!.
   password = (otpasswd), 9 bytes.
   received = (otpasswd), 9 bytes.
   Socket#20: login!.
   password = (otpasswd), 9 bytes.
   received = (otpasswd), 9 bytes.
   sm1>macro package : dr.sm1,   9/26,1995 --- Version 9/8, 1999.
   sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
   sm1>---------------------------------------------------
   open (localhost)
   
   Out[2]= 0
   
   In[3]:= OxExecute["1 1 add "]
   
   Out[3]= 0
   
   In[4]:= (CMO_STRING[4],[size=8],$1 1 add $),
   In[4]:= OxPopString[]
   
   Out[4]= 2
   
   In[5]:= Quit
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   oxSocketSelect0() returns 1, but there is no data. You peer may be killed.
   
   [control] control function_id is -1
   Sending the kill signal to the child.
   
   sm1 $B$N(B gb ($B%0%l%V%J4pDl7W;;(B), deRham ( de Rham $B%3%[%b%m%87W;;(B)
   $B$r8F$S=P$9Nc(B.
   
   bash$ math
   couldn't set locale correctly
   Mathematica 3.0 for Solaris
   Copyright 1988-97 Wolfram Research, Inc.
    -- Terminal graphics initialized --
   
   In[1]:= Install["math2ox"]
   couldn't set locale correctly
   
   Out[1]= LinkObject['./math2ox', 1, 1]
   
   In[2]:= OxStart["../lib/sm1/bin/ox_sm1_forAsir"]
   Trying to connect port 53620, ip=ffbef05c
   connected.
   Trying to connect port 53621, ip=ffbef05c
   connected.
   Socket#18: login!.
   password = (otpasswd), 9 bytes.
   received = (otpasswd), 9 bytes.
   Socket#20: login!.
   password = (otpasswd), 9 bytes.
   received = (otpasswd), 9 bytes.
   sm1>macro package : dr.sm1,   9/26,1995 --- Version 9/8, 1999.
   sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
   sm1>cohom.sm1 is the top of an experimental package to compute restrictions
   of all degrees based on restall.sm1 and restall_s.sm1
   See, http://www.math.kobe-u.ac.jp to get these files of the latest version.
   Note that the package b-function.sm1 cannot be used with this package.
   r-interface.sm1 (C) N.Takayama,  restriction, deRham
   
   hol.sm1, basic package for holonomic systems (C) N.Takayama, 1999, 6/05
   rank characteristic ch rrank gb pgb syz  genericAnn  annfs
   sm1>gkz.sm1 generates gkz systems (C) N.Takayama, 1998, 11/8, cf. rrank in hol.sm1
   gkz
   sm1>appell.sm1 generates Appell hypergeometric differential equations (C) N.Takayama, 1998, 11/8, cf. rank in hol.sm1
   appell1 appell4
   sm1>resol0.sm1, package to construct schreyer resolutions -- not minimal
                                  (C) N.Takayama, 1999, 5/18. resol0, resol1
   complex.sm1 : 1999, 9/28, res-div, res-solv, res-kernel-image, res-dual
   In this package, complex is expressed in terms of matrices.
   restall.sm1 ... compute all the cohomology groups of the restriction
                   of a D-module to tt = (t_1,...,t_d) = (0,...,0).
   non-Schreyer Version: 19980415 by T.Oaku
   usage: [(P1)...] [(t1)...] bfm --> the b-function
          [(P1)...] [(t1)...] k0 k1 deg restall --> cohomologies of restriction
          [(P1)...] [(t1)...] intbfm --> the b-function for integration
          [(P1)...] [(t1)...] k0 k1 deg intall --> cohomologies of integration
   restall_s.sm1...compute all the cohomology groups of the restriction
                   of a D-module to tt = (t_1,...,t_d) = (0,...,0).
   Schreyer Version: 19990521 by N.Takayama & T.Oaku
   usage: [(P1)...] [(t1)...] k0 k1 deg restall_s -> cohomologies of restriction
          [(P1)...] [(t1)...] k0 k1 deg intall_s --> cohomologies of integration
   No truncation from below in restall
   The variable Schreyer is set to 2.
   Loading tower.sm1 in the standard context. You cannot use Schyrer 1. It is controlled from cohom.sm1
   
    SSkan/lib/callsm1.sm1, 1999/6/23.
   ---------------------------------------------------
   open (localhost)
   
   Out[2]= 0
   
     D $B$G$N:8%$%G%"%k(B <x Dx + y Dy -1, (x Dx)^2 + d Dy>
     $B$N(B GB $B$r(B weight (x,y,Dx,Dy) = (0,0,1,1) $B$G5a$a$k(B.
   
   In[3]:= OxExecute[" [[(x dx + y dy-2) ( x dx x dx + y dy)] (x,y) [[(dx) 1 (dy) 1]]] gb "]
   
   Out[3]= 0
   
   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 $),
   In[4]:= OxPopString[]
   
   Out[4]=  [  [ x*dx+y*dy-2 , -y^2*dy^2-2*x*dx ]  ,  [ x*dx+y*dy , -y^2*dy^2 ] \
   
   >    ]
                $B$3$l$,(B GB                            $B$3$A$i$,(B weight vector
                                                     $B$G$N<gIt(B ($BFC@-B?MMBN(B)
   
          H^i( C^2 \setminus V(x^3-y^2) , C) $B$N<!85(B
   In[5]:= OxExecute[" [(x^3-y^2) (x,y)] deRham "]
   
   Out[5]= 0
   
   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
   sm1>sm1>b-function is -216*s^3+432*s^2-264*s+48
   [    [    -3*y*dx^2+2*x*dy , -2*x*dx-3*y*dy+1 ]  , [    x , y ]  , 1 , 2 ]  restall1_s
   Computing a free resolution ...
   A free resolution obtained.
   0-th cohomology:  [    0 , [   ]  ]
   sm1>-1-th cohomology:  [    1 , [   ]  ]
   sm1>-2-th cohomology:  [    2 , [    -1 ]  ]
   
   In[6]:= OxPopString[]
   
   Out[6]=  [ 1 , 1 , 0 ]
   
   In[7]:= OxClose[]
   
   [control] control function_id is 1024
   [control] control_kill
   
   I have closed the connection to an Open XM server.
   
   Out[7]= 0
   
   In[8]:= In[8]:= Sending the kill signal to the child.
   
   In[8]:= Quit
   bash$
   
   
   $B$3$l$O<:GTNc(B.
   bash$ math
   couldn't set locale correctly
   Mathematica 3.0 for Solaris
   Copyright 1988-97 Wolfram Research, Inc.
    -- Terminal graphics initialized --
   
   In[1]:= Install["../bin/ox_sm1"]
   couldn't set locale correctly
   sm1 version : 2.991106
   sm1 url : http://www.math.kobe-u.ac.jp/KAN
   name = ox_sm1
   engineByteOrder=0
   
   Interrupt during LinkConnect> abort
   ??
   Your options are:
           continue (or c) to continue
           exit (or quit) to exit Mathematica
           back out (or b) to back out of the MathLink call--the link may die.
   
   Interrupt during LinkConnect> quit
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>