===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.16
retrieving revision 1.18
diff -u -p -r1.16 -r1.18
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2004/03/05 19:05:11	1.16
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2004/05/28 01:22:13	1.18
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.15 2004/03/05 15:56:40 ohara Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.17 2004/05/14 01:25:03 takayama Exp $ */
 
 /*&C
 @c DO NOT EDIT THIS FILE   oxphc.texi
@@ -1450,6 +1450,10 @@ List
 @itemize @bullet
 @item Ask the sm1 server to multiply @var{f} and @var{g} in the ring of differential operators over @var{v}.
 @item @code{sm1.mul_h} is for homogenized Weyl algebra.
+@item BUG: @code{sm1.mul(p0*dp0,1,[p0])} returns
+@code{dp0*p0+1}.
+A variable order such that d-variables come after non-d-variables
+is necessary for the correct computation.
 @end itemize
 */
 
@@ -1478,6 +1482,9 @@ List
 @item   sm1サーバ に @var{f} かける @var{g} を @var{v}
 上の微分作用素環でやってくれるように頼む.
 @item @code{sm1.mul_h} は homogenized Weyl 代数用.
+@item BUG: @code{sm1.mul(p0*dp0,1,[p0])} は
+@code{dp0*p0+1} を戻す.  
+d変数が後ろにくるような変数順序がはいっていないと, この関数は正しい答えを戻さない.
 @end itemize
 */
 
@@ -1679,6 +1686,9 @@ F_D(a,b1,b2,...,bn,c;x1,...,xn)
 where @var{a} =(a,c,b1,...,bn).
 When n=2, the Lauricella function is called the Appell function F_1.
 The parameters a, c, b1, ..., bn may be rational numbers.
+@item It does not call sm1 function appell1. As a concequence,
+when parameters are rational or symbolic, this function also works
+as well as integral parameters.
 @end itemize
 */
 
@@ -1706,6 +1716,8 @@ F_D(a,b1,b2,...,bn,c;x1,...,xn)
 のみたす微分方程式系を戻す. ここで,
 @var{a} =(a,c,b1,...,bn).
 パラメータは有理数でもよい.
+@item sm1 の関数 appell1 をよぶわけでないので, パラメータが有理数や文字式の場合も
+正しく動く.
 @end itemize
 */
 
@@ -1728,7 +1740,7 @@ F_D(a,b1,b2,...,bn,c;x1,...,xn)
  [x1*dx1*dx2,-x1^2*dx1^2,-x2^2*dx1*dx2,-x1*x2^2*dx2^2]]
 
 [283] sm1.rank(sm1.appell1([1/2,3,5,-1/3]));
-1
+3
 
 [285] Mu=2$ Beta = 1/3$
 [287] sm1.rank(sm1.appell1([Mu+Beta,Mu+1,Beta,Beta,Beta]));
@@ -1763,6 +1775,9 @@ F_4(a,b,c1,c2,...,cn;x1,...,xn)
 where @var{a} =(a,b,c1,...,cn).
 When n=2, the Lauricella function is called the Appell function F_4.
 The parameters a, b, c1, ..., cn may be rational numbers.
+@item @item It does not call sm1 function appell4. As a concequence,
+when parameters are rational or symbolic, this function also works
+as well as integral parameters.
 @end itemize
 */
 
@@ -1790,6 +1805,8 @@ F_C(a,b,c1,c2,...,cn;x1,...,xn)
 のみたす微分方程式系を戻す. ここで,
 @var{a} =(a,b,c1,...,cn).
 パラメータは有理数でもよい.
+@item sm1 の関数 appell1 をよぶわけでないので, パラメータが有理数や文字式の場合も
+正しく動く.
 @end itemize
 */