===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi	2009/12/02 02:55:29	1.1
+++ OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi	2009/12/02 04:38:47	1.2
@@ -1,4 +1,4 @@
-%comment $OpenXM$
+%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi,v 1.1 2009/12/02 02:55:29 noro Exp $
 %comment --- おまじない ---
 \input ../../../../asir-doc/texinfo
 @iftex
@@ -149,6 +149,8 @@ In this manual we also explain about some related buil
 @itemize @bullet
 \BJP
 @item
+この関数は asir-contrib のパッケージ @samp{nn_ndbf.rr} で定義されている.
+@item
 多項式 @var{f} の大域 b 関数 (global b-function) を計算する. 出力は
 変数 @var{s} の多項式である. 
 @item
@@ -166,6 +168,8 @@ In this manual we also explain about some related buil
 \E
 \BEG
 @item
+This function is defined in an asir-contrib package @samp{nn_ndbf.rr}.
+@item
 This function computes the global b-function of a polynomial @var{f}.
 The output is a polynomial in @var{s}.
 @item
@@ -182,6 +186,7 @@ If an option @code{vord=@var{v}} is given, a variable 
 \E
 @end itemize
 @example
+[1519] load("nn_ndbf.rr");
 [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
@@ -210,7 +215,7 @@ If an option @code{vord=@var{v}} is given, a variable 
 \EG a polynomail
 @item p
 \JP @code{[@var{v1,a1,...,vn,an}]} なるリスト
-\JP a list @code{[@var{v1,a1,...,vn,an}]}
+\EG a list @code{[@var{v1,a1,...,vn,an}]}
 @item w
 \JP @code{[@var{v1,w1,...,vn,wn}]} なるリスト
 \EG a list @code{[@var{v1,w1,...,vn,wn}]}
@@ -225,6 +230,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 \BJP
 @itemize @bullet
 @item
+この関数は asir-contrib のパッケージ @samp{nn_ndbf.rr} で定義されている.
+@item
 多項式 @var{f} の @var{(v1,...,vn)=(a1,...,an)} における
 局所 b 関数 (local b-function) を計算する. 出力は局所 $b$ 関数の因子, 重複度のペアのリストである. 
 @item
@@ -255,6 +262,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 \BEG
 @itemize @bullet
 @item
+This function is defined in an asir-contrib package @samp{nn_ndbf.rr}.
+@item
 This function computes the local b-function of a polynomial @var{f} at a point @var{(v1,...,vn)=(a1,...,an)}.
 The output is a list of pairs of each factor of the local b-function and its multiplicity.
 @item
@@ -281,6 +290,7 @@ If an option @code{vord=@var{v}} is given, a variable 
 \E
 
 @example
+[1527] load("nn_ndbf.rr");
 [1610] ndbf.bf_local(y*((x+1)*x^3-y^2),[x,-1,y,0]);
 [[-s-1,2]]
 [1611] ndbf.bf_local(y*((x+1)*x^3-y^2),[x,-1,y,0]|op=1);
@@ -322,6 +332,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 \BJP
 @itemize @bullet
 @item
+この関数は asir-contrib のパッケージ @samp{nn_ndbf.rr} で定義されている.
+@item
 多項式 @var{f} の大域 b 関数 (global b-function) を計算する. 出力は
 変数 @var{s} の多項式である. 
 @item
@@ -342,6 +354,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 \BEG
 @itemize @bullet
 @item
+This function is defined in an asir-contrib package @samp{nn_ndbf.rr}.
+@item
 This function computes a stratification assoficated with local b-function of a polynomial @var{f}.
 The output is a list @var{[s1,...sl]} where each @var{si} is a list @var{[l1,l2,bi]}.
 In this list, @var{l1} and @var{l2} is generators of ideals and they represents
@@ -362,6 +376,7 @@ If an option @code{vord=@var{v}} is given, a variable 
 \E
 
 @example
+[1537] load("nn_ndbf.rr");
 [1620] 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$
 [1621] ndbf.bf_strat(F);
@@ -406,6 +421,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 \BJP
 @itemize @bullet
 @item
+この関数は asir-contrib のパッケージ @samp{nn_ndbf.rr} で定義されている.
+@item
 多項式 @var{f} に対し, @var{f^s} の annihilator ideal を計算する.
 出力は, @var{s} を係数に含む微分作用素のリストである. 微分作用素の
 表現方法は, @code{ndbf.bf_local} と同様である.
@@ -419,6 +436,8 @@ If an option @code{vord=@var{v}} is given, a variable 
 \BEG
 @itemize @bullet
 @item
+This function is defined in an asir-contrib package @samp{nn_ndbf.rr}.
+@item
 This function computes the annihilator ideal of @var{f^s} for @var{f}.
 The output is a list of defferential operators containing @var{s} in thier coefficients.
 The differential operators are represented in the same manner as @code{ndbf.bf_local}.
@@ -430,6 +449,7 @@ This option is useful when @var{f} is weighted homogen
 \E
 
 @example
+[1542] load("nn_ndbf.rr");
 [1625] ndbf.ann(x*y*z*(x^3-y^2*z^2));
 [(-x^4*dy^2+3*z^4*x*dz^2+12*z^3*x*dz+6*z^2*x)*dx+4*z*x^3*dz*dy^2
 -z^5*dz^3-6*z^4*dz^2-6*z^3*dz,