[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.2 and 1.3

version 1.2, 1999/11/07 00:19:44 version 1.3, 1999/11/08 00:36:56
Line 1 
Line 1 
 %% $OpenXM: OpenXM/src/ox_math/documents/samplelog-sm1.txt,v 1.1 1999/11/05 03:00:34 takayama Exp $  %% $OpenXM: OpenXM/src/ox_math/documents/samplelog-sm1.txt,v 1.2 1999/11/07 00:19:44 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.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 ]  , [    Revision 1.3  1999/11/08 00:36:56  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 ]  , [    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 ]  , [    An example of computation of Grobner basis in D is given.
 [    $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 ]  , [    Here, actual computation is done on ox_sm1 and Mathematica is used as
 [    $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 ]  , [    a front-end.  The last example is the elimination in D.
 [    $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.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 ]  , [    Revision 1.3  1999/11/08 00:36:56  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 ]  , [    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 ]  , [    An example of computation of Grobner basis in D is given.
 [    $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 ]  , [    Here, actual computation is done on ox_sm1 and Mathematica is used as
 [    $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 ]  , [    a front-end.  The last example is the elimination in D.
 [    $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 ;
Line 290  Your options are:
Line 288  Your options are:
         back out (or b) to back out of the MathLink call--the link may die.          back out (or b) to back out of the MathLink call--the link may die.
   
 Interrupt during LinkConnect> quit  Interrupt during LinkConnect> quit
   
   
   ---------------  sm1 $B$N(B array $B$r$"$i$o$9(B [ ] $B$r(B { } $B$KJQ$($F(B
   ---------------  sm1 $B$N=PNO$r(B ToExpression $B$GFI$_9~$`Nc(B
   [tau]bash
   bash$ cd OpenXM
   bash$ cd src/ox_math
   bash$ math
   couldn't set locale correctly
   Mathematica 3.0 for Solaris
   Copyright 1988-97 Wolfram Research, Inc.
    -- Motif graphics initialized --
   
   In[1]:= Install["math2ox"]
   couldn't set locale correctly
   
   Out[1]= LinkObject['./math2ox', 1, 1]
   
   In[2]:= OxStart["/home/taka/OpenXM/lib/sm1/bin/ox_sm1_forAsir"]
   Trying to connect port 53755, ip=ffbef02c
   connected.
   Trying to connect port 53756, ip=ffbef02c
   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 11/8, 1999.
   sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
   sm1>cohom.sm1 is the top of an experimental package to compute restrictions
            $B>JN,(B
   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
   
   
   In[10]:= OxExecute[" [(LeftBracket) ({)] system_variable [(RightBracket) (})] system_variable "]
              [ $B$r(B { $B$X(B,  ] $B$r(B  } $B$X(B.
   
   Out[10]= 0
   
   In[11]:= (CMO_STRING[4],[size=74],$ [(LeftBracket) ({)] system_variable [(RightBracket) (})] system_variable $),
   In[11]:= OxExecute[" [[(x dx + y dy + 1) (x dx x dx - y dy)] (x,y)
               [[(dx) 1 (dy) 1]]] gb "]
           $B%0%l%V%J4pDl$r(B Q<x,y,dx,dy> $B$G(B.  weight $B$O(B dx=1, dy=1.
   
   Out[11]= 0
   
   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 $),
   In[12]:= ans = OxPopString[]
   
   Out[12]= {{x*dx+y*dy+1 , -y^2*dy^2+x*dx-y*dy} , {x*dx+y*dy , -y^2*dy^2}}
          $B%0%l%V%J4pDl$,J8;zNs$G$+$($k(B.
          $B:G=i$,(B Groebner,  2 $BHVL\$,(B weight dx=1, dy=1 $B$G$N<gMWIt(B.
   
   In[13]:= ans2 = ToExpression[ans]
          Mathematica $B$NB?9`<0$KJQ49(B.
                                               2  2                     2  2
   Out[13]= {{1 + dx x + dy y, dx x - dy y - dy  y }, {dx x + dy y, -(dy  y )}}
   
   
   In[17]:= OxExecute[" [[(x dx x dx + y dy y dy -4) (x dx y dy -1)] (x,y)
                        [[(dx) 1]]] gb "]
   
              dx $B$N(B weight $B$r(B 1 $B$K$7$F(B, $B%0%l%V%J4pDl$r7W;;(B.
          ******  dx $B$N(B $B>C5nK!(B
   
   Out[17]= 0
   
   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 $),
   In[18]:= ans = OxPopString[]
   
   Out[18]= {{x*dx+y^3*dy^3+3*y^2*dy^2-3*y*dy ,\
   
   >    -y^4*dy^4-6*y^3*dy^3-3*y^2*dy^2+3*y*dy-1} , {x*dx ,\
   
   >    -y^4*dy^4-6*y^3*dy^3-3*y^2*dy^2+3*y*dy-1}}
   
      dx $B$r4^$^$J$$HyJ,:nMQAG$,$"$k$N$KCm0U(B!!  $B$D$^$j(B dy $B$K$D$$$F$N(B
      $B>oHyJ,J}Dx<0$,$G$?(B.
   
   In[19]:= ToExpression[ans]
   
                                  2  2     3  3
   Out[19]= {{dx x - 3 dy y + 3 dy  y  + dy  y ,
   
                           2  2       3  3     4  4
   >     -1 + 3 dy y - 3 dy  y  - 6 dy  y  - dy  y },
   
                                 2  2       3  3     4  4
   >    {dx x, -1 + 3 dy y - 3 dy  y  - 6 dy  y  - dy  y }}
   
   In[20]:=
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>