version 1.2, 1999/11/07 00:19:44 |
version 1.3, 1999/11/08 00:36:56 |
|
|
%% $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. |
|
|
@@@.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]:= |