===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -p -r1.17 -r1.18
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2004/05/14 01:25:03	1.17
+++ 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.16 2004/03/05 19:05:11 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
 */