===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/poly.texi,v
retrieving revision 1.6
retrieving revision 1.8
diff -u -p -r1.6 -r1.8
--- OpenXM/src/asir-doc/parts/builtin/poly.texi	2003/11/27 15:56:08	1.6
+++ OpenXM/src/asir-doc/parts/builtin/poly.texi	2004/05/15 08:25:12	1.8
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/poly.texi,v 1.5 2003/04/20 08:01:29 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/poly.texi,v 1.7 2003/12/23 10:41:10 ohara Exp $
 \BJP
 @node 多項式および有理式の演算,,, 組み込み函数
 @section 多項式, 有理式の演算
@@ -21,6 +21,7 @@
 * %::
 * subst psubst::
 * diff::
+* ediff::
 * res::
 * fctr sqfr::
 * modfctr::
@@ -903,6 +904,58 @@ from left to right.
 sin(x)
 @end example
 
+\JP @node ediff,,, 多項式および有理式の演算
+\EG @node ediff,,, Polynomials and rational expressions
+@subsection @code{ediff}
+@findex ediff
+
+@table @t
+@item ediff(@var{poly}[,@var{varn}]*)
+@item ediff(@var{poly},@var{varlist})
+\JP :: @var{poly} を @var{varn} あるいは @var{varlist} の中の変数で順次オイラー微分する.
+\BEG
+:: Differentiate @var{poly} successively by Euler operators of @var{var}'s for the first
+form, or by Euler operators of variables in @var{varlist} for the second form.
+\E
+@end table
+
+@table @var
+@item return
+\JP 多項式
+\EG polynomial
+@item poly
+\JP 多項式
+\EG polynomial
+@item varn
+\JP 不定元
+\EG indeterminate
+@item varlist
+\JP 不定元のリスト
+\EG list of indeterminates
+@end table
+
+@itemize @bullet
+\BJP
+@item
+左側の不定元より, 順にオイラー微分していく. つまり, @t{ediff}(@var{poly},@t{x,y}) は, 
+@t{ediff}(@t{ediff}(@var{poly},@t{x}),@t{y}) と同じである. 
+\E
+\BEG
+@item
+differentiation is performed by the specified indeterminates (variables)
+from left to right.
+@t{ediff}(@var{poly},@t{x,y}) is the same as
+@t{ediff}(@t{ediff}(@var{poly},@t{x}),@t{y}).
+\E
+@end itemize
+
+@example
+[0] ediff((x+2*y)^2,x);  
+2*x^2+4*y*x
+[1] ediff((x+2*y)^2,x,y);
+4*y*x
+@end example
+
 \JP @node res,,, 多項式および有理式の演算
 \EG @node res,,, Polynomials and rational expressions
 @subsection @code{res}
@@ -1240,6 +1293,9 @@ an integral polynomial such that GCD of all its coeffi
 分子多項式の係数は有理数のままであり, 有理式の分子を求める
 @code{nm()} では, 分数係数多項式は, 分数係数のままの形で出力されるため, 
 直ちに整数係数多項式を得る事は出来ない. 
+@item オプション factor が設定された場合の戻り値はリスト [g,c] である.
+ここで c は有理数であり, g がオプションのない場合の戻り値であり,
+ @var{poly} = c*g となる.
 \E
 \BEG
 @item 
@@ -1257,6 +1313,9 @@ You cannot obtain an integral polynomial by direct use
 @code{nm()}.  The function @code{nm()} returns the numerator of its
 argument, and a polynomial with rational coefficients is
 the numerator of itself and will be returned as it is.
+@item When the option factor is set, the return value is a list [g,c].
+Here, c is a rational number, g is an integral polynomial 
+and @var{poly} = c*g holds.
 \E
 @end itemize