[BACK]Return to nn_ndbf.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-contrib / packages / doc / nn_ndbf

Diff for /OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi between version 1.3 and 1.4

version 1.3, 2009/12/02 04:59:13 version 1.4, 2010/06/16 08:53:03
Line 1 
Line 1 
 %comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/nn_ndbf/nn_ndbf.texi,v 1.2 2009/12/02 04:38:47 noro Exp $  %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 --- おまじない ---  %comment --- おまじない ---
 \input ../../../../asir-doc/texinfo  \input ../../../../asir-doc/texinfo
 @iftex  @iftex
Line 124  In this manual we also explain about some related buil
Line 124  In this manual we also explain about some related buil
 @findex ndbf.bfunction  @findex ndbf.bfunction
   
 @table @t  @table @t
 \JP @item ndbf.bfunction(@var{f}[|weight=@var{w},heruristic=@var{yesno},vord=@var{v}]) :: 多項式 @var{f} の大域 b 関数を計算する.  \JP @item ndbf.bfunction(@var{f}[|weight=@var{w},heruristic=@var{yesno},vord=@var{v},op=@var{yesno}]) :: 多項式 @var{f} の大域 b 関数を計算する.
 \EG @item ndbf.bfunction(@var{f}[|weight=@var{w},heruristic=@var{yesno},vord=@var{v}]) :: computes the global b-function of a polynomial @var{f}  \EG @item ndbf.bfunction(@var{f}[|weight=@var{w},heruristic=@var{yesno},vord=@var{v},op=@var{yesno}]) :: computes the global b-function of a polynomial @var{f}
 @end table  @end table
   
 @table @var  @table @var
Line 151  In this manual we also explain about some related buil
Line 151  In this manual we also explain about some related buil
 @item  @item
 この関数は asir-contrib のパッケージ @samp{nn_ndbf.rr} で定義されている.  この関数は asir-contrib のパッケージ @samp{nn_ndbf.rr} で定義されている.
 @item  @item
 多項式 @var{f} の大域 b 関数 (global b-function) を計算する. 出力は  多項式 @var{f} の大域 b 関数 (global b-function) を計算する.
 変数 @var{s} の多項式である.  デフォルトでは大域 b 関数のみが出力されるが, オプション @code{op=1} が指定
   された場合, 大域 b 関数 @var{b}, および
   微分作用素 @var{P} の組 @var{[b,P]} を返す. これらは
   @var{Pf^(s+1)=b(s)f^s} を満たす.
 @item  @item
 オプション @code{weight=[@var{v1,w1,...,vn,wn}]} が指定された場合,  オプション @code{weight=[@var{v1,w1,...,vn,wn}]} が指定された場合,
 変数リスト @var{(v1,...,vn)} に対して weight @var{(w1,...,wn)}  変数リスト @var{(v1,...,vn)} に対して weight @var{(w1,...,wn)}
Line 171  In this manual we also explain about some related buil
Line 174  In this manual we also explain about some related buil
 This function is defined in an asir-contrib package @samp{nn_ndbf.rr}.  This function is defined in an asir-contrib package @samp{nn_ndbf.rr}.
 @item  @item
 This function computes the global b-function of a polynomial @var{f}.  This function computes the global b-function of a polynomial @var{f}.
 The output is a polynomial in @var{s}.  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}.
 @item  @item
 If an option @code{weight=[@var{v1,w1,...,vn,wn}]} is given,  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)}.  the computation is done with a weight @var{(w1,...,wn)} for @var{(v1,...,vn)}.
Line 236  If an option @code{vord=@var{v}} is given, a variable 
Line 242  If an option @code{vord=@var{v}} is given, a variable 
 局所 b 関数 (local b-function) を計算する. 出力は局所 $b$ 関数の因子, 重複度のペアのリストである.  局所 b 関数 (local b-function) を計算する. 出力は局所 $b$ 関数の因子, 重複度のペアのリストである.
 @item  @item
 デフォルトでは局所 b 関数のみが出力されるが, オプション @code{op=1} が指定  デフォルトでは局所 b 関数のみが出力されるが, オプション @code{op=1} が指定
 された場合, 局所 b 関数 @var{b} と, それを実現する微分作用素 @var{P} の  された場合, 局所 b 関数 @var{b}, 微分作用素の共通分母 $a(x)$ および
 ペア @var{[b,P]} を返す. これらは  微分作用素 @var{P} の組 @var{[b,a(x),P]} を返す. これらは
 @var{Pf^(s+1)=b(s)f^s}  @var{a(x)Pf^(s+1)=b(s)f^s}
 を満たす. 微分作用素は @var{v1,...,vn,dv1,...,dvn} の可換多項式として  を満たす. 微分作用素は @var{v1,...,vn,dv1,...,dvn} の可換多項式として
 表現されている. この表現においては, 微分を表す d のついた変数も単なる  表現されている. この表現においては, 微分を表す d のついた変数も単なる
 不定元として扱われているため, 係数多項式環の変数の前に表示されることも  不定元として扱われているため, 係数多項式環の変数の前に表示されることも
Line 267  This function is defined in an asir-contrib package @s
Line 273  This function is defined in an asir-contrib package @s
 This function computes the local b-function of a polynomial @var{f} at a point @var{(v1,...,vn)=(a1,...,an)}.  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.  The output is a list of pairs of each factor of the local b-function and its multiplicity.
 @item  @item
 By default only the local b-function is returned. If an option @code{op=1} is given,  By default only the local b-function is returned.
 a pair @var{[b,P]} of the local b-function and a differential operator satisfying  If an option @code{op=1} is given,
 @var{Pf^(s+1)=b(s)f^s}. The operator P is represented as a commutative polynomial  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}. Although the d-variables
 are treated as commutative indeterminates in this representation,  are treated as commutative indeterminates in this representation,
 it should be regarded as a canonical representation with each polynomial coefficient  it should be regarded as a canonical representation with each polynomial coefficient
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>