===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2002/08/23 08:16:13	1.6
+++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave	2003/05/04 08:37:40	1.7
@@ -1,4 +1,4 @@
-/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.5 2002/08/11 08:39:47 takayama Exp $ */
+/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.6 2002/08/23 08:16:13 takayama Exp $ */
 
 /*&C-texi
 @c DO NOT EDIT THIS FILE   oxphc.texi
@@ -1591,7 +1591,7 @@ division algorithm to @var{f}. The set of variables is
 @code{sm1_reduction_noH} is for the Weyl algebra.
 @item The return value is of the form
 [r,c0,[c1,...,cm],[g1,...gm]] where @var{g}=[g1, ..., gm] and
-r/c0 + c1 g1 + ... + cm gm = 0.
+c0 f + c1 g1 + ... + cm gm = r.
 r/c0 is the normal form.
 @item The function reduction reduces reducible terms that appear
 in lower order terms.
@@ -1629,8 +1629,8 @@ are for distributed polynomials.
 省略してもよい.
 @code{sm1_reduction_noH} は, Weyl algebra 用.
 @item 戻り値は次の形をしている:
-[r,c0,[c1,...,cm],[g1,...gm]] ここで @var{g}=[g1, ..., gm] であり,
-r/c0 + c1 g1 + ... + cm gm = 0
+[r,c0,[c1,...,cm],g] ここで @var{g}=[g1, ..., gm] であり,
+c0 f + c1 g1 + ... + cm gm = r
 がなりたつ.
 r/c0 が normal form である.
 @item この函数は, 低次項にあらわれる reducible な項も簡単化する.
@@ -1642,9 +1642,9 @@ sm1_reduction_d(P,F,G) および sm1_reduction_noH_
 /*&C-texi
 @example
 [259] sm1_reduction([x^2+y^2-4,[y^4-4*y^2+1,x+y^3-4*y],[x,y]]);
-[x^2+y^2-4,1,[0,0],[x+y^3-4*y,y^4-4*y^2+1]]
+[x^2+y^2-4,1,[0,0],[y^4-4*y^2+1,x+y^3-4*y]]
 [260] sm1_reduction([x^2+y^2-4,[y^4-4*y^2+1,x+y^3-4*y],[x,y],[[x,1]]]);
-[0,1,[-y^2+4,-x+y^3-4*y],[x+y^3-4*y,y^4-4*y^2+1]]
+[0,1,[-y^2+4,-x+y^3-4*y],[y^4-4*y^2+1,x+y^3-4*y]]
 @end example
 */
 /*&eg-texi