===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi	2010/06/16 08:53:03	1.4
+++ OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi	2010/06/16 10:39:08	1.5
@@ -1,4 +1,4 @@
-%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi,v 1.3 2009/12/02 04:59:13 noro Exp $
+%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi,v 1.4 2010/06/16 08:53:03 noro Exp $
 %comment --- おまじない ---
 \input ../../../../asir-doc/texinfo
 @iftex
@@ -116,6 +116,7 @@ In this manual we also explain about some related buil
 * ndbf.bfunction::
 * ndbf.bf_local::
 * ndbf.bf_strat::
+* ndbf.action_on_gfs::
 @end menu
 
 \JP @node ndbf.bfunction,,, b 関数計算
@@ -156,6 +157,10 @@ In this manual we also explain about some related buil
 された場合, 大域 b 関数 @var{b}, および
 微分作用素 @var{P} の組 @var{[b,P]} を返す. これらは 
 @var{Pf^(s+1)=b(s)f^s} を満たす.
+微分作用素は @var{v1,...,vn,dv1,...,dvn} の可換多項式として
+表現されている. この表現においては, 微分を表す d のついた変数も単なる
+不定元として扱われているため, 係数多項式環の変数の前に表示されることも
+ありうるが, 多項式係数を左に置く正規表現として理解する必要がある.
 @item
 オプション @code{weight=[@var{v1,w1,...,vn,wn}]} が指定された場合, 
 変数リスト @var{(v1,...,vn)} に対して weight @var{(w1,...,wn)}
@@ -178,6 +183,11 @@ By default only the global b-function is returned. 
 If an option @code{op=1} is given,
 a pair @var{[b,P]} of the global b-function and 
 a differential operator satisfying @var{Pf^(s+1)=b(s)f^s}. 
+The operator P is represented as a commutative polynomial
+of variables @var{v1,...,vn,dv1,...,dvn}. The d-variables 
+are treated as commutative indeterminates in this representation and
+the polynomial should be regarded as a canonical representation with each polynomial coefficient
+placed at the left of d-variables.
 @item
 If an option @code{weight=[@var{v1,w1,...,vn,wn}]} is given,
 the computation is done with a weight @var{(w1,...,wn)} for @var{(v1,...,vn)}.
@@ -196,9 +206,14 @@ If an option @code{vord=@var{v}} is given, a variable 
 [1602] ndbf.bfunction(x^3-y^2*z^2);
 -11664*s^7-93312*s^6-316872*s^5-592272*s^4-658233*s^3-435060*s^2
 -158375*s-24500
-[1603] F=256*u1^3-128*u3^2*u1^2+(144*u3*u2^2+16*u3^4)*u1-27*u2^4
+[1603] ndbf.bfunction(x^3-y^2*z^2|op=1);
+[-11664*s^7-93312*s^6-316872*s^5-592272*s^4-658233*s^3-435060*s^2
+-158375*s-24500,(108*z^3*x*dz^3+756*z^2*x*dz^2+1080*z*x*dz+216*x)*dx^4
+...
++(729/8*z^3*dz^5+9477/8*z^2*dz^4+5103/2*z*dz^3+2025/2*dz^2)*dy^2]
+[1604] F=256*u1^3-128*u3^2*u1^2+(144*u3*u2^2+16*u3^4)*u1-27*u2^4
 -4*u3^3*u2^2$
-[1604] ndbf.bfunction(F|weight=[u3,2,u2,3,u1,4]);
+[1605] ndbf.bfunction(F|weight=[u3,2,u2,3,u1,4]);
 576*s^6+3456*s^5+8588*s^4+11312*s^3+8329*s^2+3250*s+525
 @end example
 
@@ -244,8 +259,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 デフォルトでは局所 b 関数のみが出力されるが, オプション @code{op=1} が指定
 された場合, 局所 b 関数 @var{b}, 微分作用素の共通分母 $a(x)$ および
 微分作用素 @var{P} の組 @var{[b,a(x),P]} を返す. これらは 
-@var{a(x)Pf^(s+1)=b(s)f^s}
-を満たす. 微分作用素は @var{v1,...,vn,dv1,...,dvn} の可換多項式として
+@var{a(x)Pf^(s+1)=b(s)f^s} を満たす. 
+微分作用素は @var{v1,...,vn,dv1,...,dvn} の可換多項式として
 表現されている. この表現においては, 微分を表す d のついた変数も単なる
 不定元として扱われているため, 係数多項式環の変数の前に表示されることも
 ありうるが, 多項式係数を左に置く正規表現として理解する必要がある.
@@ -278,9 +293,9 @@ If an option @code{op=1} is given,
 a triple @var{[b,a,P]} of the local b-function, a polynomial and 
 a differential operator satisfying @var{Pf^(s+1)=ab(s)f^s}. 
 The operator P is represented as a commutative polynomial
-of variables @var{v1,...,vn,dv1,...,dvn}. Although the d-variables 
+of variables @var{v1,...,vn,dv1,...,dvn}. The d-variables 
 are treated as commutative indeterminates in this representation,
-it should be regarded as a canonical representation with each polynomial coefficient
+the polynomial should be regarded as a canonical representation with each polynomial coefficient
 placed at the left of d-variables.
 @item
 If an option @code{weight=[@var{v1,w1,...,vn,wn}]} is given,
@@ -393,6 +408,61 @@ If an option @code{vord=@var{v}} is given, a variable 
 [[...],[-u3*u2,u2*u1,...],[[-s-1,1],...]]]
 [[-256*u1^3+128*u3^2*u1^2+...],[...],[[-s-1,1]]]
 [[],[-256*u1^3+128*u3^2*u1^2+...],[]]
+@end example
+
+\JP @node ndbf.action_on_gfs,,, b 関数計算
+\EG @node ndbf.action_on_gfs,,, Computation of b-function
+@subsection @code{ndbf.action_on_gfs}
+@findex ndbf.action_on_gfs
+
+@table @t
+@item ndbf.action_on_gfs(@var{op},@var{v},@var{gfs})
+\JP :: 微分作用素 @var{op} の @var{gf^(s+1)} への作用を計算する.
+\EG :: computes the action of an operatior @var{op} on @var{gf^(s+1)}
+@end table
+
+@table @var
+@item return
+\JP リスト
+\EG a list
+@item op
+\JP 微分作用素
+\EG a differential operator
+@item gfs
+\JP @var{[g,f,s-a]} なるリスト
+\EG a list @var{[g,f,s-a]}
+@item v
+\JP @var{f} の変数のリスト 
+\EG list of variables of @var{f}
+@end table
+
+\BJP
+@itemize @bullet
+@item 微分作用素 @var{op} を @var{gf^(s+1)} に作用させた結果を計算する.
+@item @var{g} および @var{h} は @var{v} を変数とする多項式である.
+@item @var{op} は @var{[v1,...,vn,dv1,...,dvn]} を変数とする多項式で表現する.
+@item 入力リスト @var{[g,f,s+1]} は @var{gf^(s+1)} を表す.
+@item 結果は @var{[h,f,s-a]} なるリストで, @var{hf^(s-a)} を
+意味する. ここで @var{a} は整数で, @var{op} が
+b-関数を与える作用素なら, @var{a} は 0 となり, @var{h} は b-関数となる.
+@end itemize
+\E
+
+\BEG
+@itemize @bullet
+@item This function computes the action of a differential operator
+@var{op} on @var{gf^(s+1)}.
+@item @var{g} and @var{h} are polynomials with variables @var{v}=@var{v1,\ldots,vn}.
+@item @var{op} is represented by a polynonmial with @var{[v1,...,vn,dv1,...,dvn]}.
+@item The input list @var{[g,f,s+1]} represents @var{gf^(s+1)}.
+@item The result is a list @var{[h,f,s-a]} and it means @var{hf^(s-a)},
+where @var{a} is an integer. If @var{op} is an operator giving b-function,
+then @var{a}=0 and @var{h} is a b-functio n.
+@end itemize
+\E
+
+@example
+
 @end example
 
 \JP @node Annihilator イデアル計算,,, 新 b 関数パッケージ nn_ndbf.rr