=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/noro_pd/noro_pd-ja.texi,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/src/asir-contrib/packages/doc/noro_pd/noro_pd-ja.texi 2017/02/22 02:21:23 1.3 +++ OpenXM/src/asir-contrib/packages/doc/noro_pd/noro_pd-ja.texi 2017/03/30 06:16:36 1.4 @@ -1,5 +1,5 @@ -%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/noro_pd/noro_pd-ja.texi,v 1.2 2011/02/21 09:40:11 noro Exp $ -%comment --- おまじない --- +%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/noro_pd/noro_pd-ja.texi,v 1.3 2017/02/22 02:21:23 noro Exp $ +%comment --- 障 --- \input ../../../../asir-doc/texinfo @iftex @catcode`@#=6 @@ -10,18 +10,18 @@ @overfullrule=0pt @c -*-texinfo-*- @comment %**start of header -@comment --- おまじない終り --- +@comment --- 障腟 --- -@comment --- GNU info ファイルの名前 --- +@comment --- GNU info ＜ゃ --- @setfilename asir-contrib-noro_pd -@comment --- タイトル --- +@comment --- 帥ゃ --- @settitle noro_pd @comment %**end of header @comment %@setchapternewpage odd -@comment --- おまじない --- +@comment --- 障 --- @ifinfo @macro fref{name} @ref{\name\,,@code{\name\}} @@ -33,9 +33,9 @@ @end iftex @titlepage -@comment --- おまじない終り --- +@comment --- 障腟 --- -@comment --- タイトル, バージョン, 著者名, 著作権表示 --- +@comment --- 帥ゃ, 若吾с, , 篏罔茵腓 --- @title noro_pd @subtitle noro_pd User's Manual @subtitle Edition 1.0 @@ -48,129 +48,129 @@ Copyright @copyright{} Masayuki Noro 2011. All rights reserved. @end titlepage -@comment --- おまじない --- +@comment --- 障 --- @synindex vr fn -@comment --- おまじない終り --- +@comment --- 障腟 --- -@comment --- @node は GNU info, HTML 用 --- -@comment --- @node の引数は node-name, next, previous, up --- +@comment --- @node GNU info, HTML --- +@comment --- @node 綣違 node-name, next, previous, up --- @node Top,, (dir), (dir) -@comment --- @menu は GNU info, HTML 用 --- -@comment --- chapter 名を正確に並べる --- +@comment --- @menu GNU info, HTML --- +@comment --- chapter 罩ｇ∈筝鴻 --- @menu -* 準素分解パッケージ noro_pd.rr:: +* 羣膣茹ｃ宴若 noro_pd.rr:: * Index:: @end menu -@comment --- chapter の開始 --- -@comment --- 親 chapter 名を正確に --- -@node 準素分解パッケージ noro_pd.rr,,, Top -@chapter 準素分解パッケージ noro_pd.rr +@comment --- chapter 紮 --- +@comment --- 荀 chapter 罩ｇ∈ --- +@node 羣膣茹ｃ宴若 noro_pd.rr,,, Top +@chapter 羣膣茹ｃ宴若 noro_pd.rr -@comment --- section 名を正確に並べる --- +@comment --- section 罩ｇ∈筝鴻 --- @menu -* 準素分解:: +* 羣膣茹:: @end menu -このマニュアルでは, asir-contrib パッケージに収録されている, -準素パッケージ @samp{noro_pd.rr} について解説する. -このパッケージを使うには, まず @samp{noro_pd.rr} をロードする. +ャ≪с, asir-contrib 宴若吾蚊, +羣膣宴若 @samp{noro_pd.rr} ゃ茹ｈ. +宴若吾篏帥, 障 @samp{noro_pd.rr} 若. @example [1539] load("noro_pd.rr"); @end example -このパッケージの函数を呼び出すには, 全て @code{noro_pd.} を先頭につける. +宴若吾醇違若喝冴, @code{noro_pd.} ゃ. @example @end example -@comment --- section の開始 --- -@comment --- 書体指定について --- -@comment --- @code{} はタイプライタ体表示 --- -@comment --- @var{} は斜字体表示 --- -@comment --- @b{} はボールド表示 --- -@comment --- @samp{} はファイル名などの表示 --- +@comment --- section 紮 --- +@comment --- 娯絎ゃ --- +@comment --- @code{} 帥ゃゃ推茵腓 --- +@comment --- @var{} 絖篏茵腓 --- +@comment --- @b{} 若茵腓 --- +@comment --- @samp{} ＜ゃ茵腓 --- -@node アルゴリズムの概要,,, 準素分解パッケージ noro_pd.rr +@node ≪眼冴网荀,,, 羣膣茹ｃ宴若 noro_pd.rr -@section 準素分解 +@section 羣膣茹 @menu * noro_pd.syci_dec:: * noro_pd.prime_dec:: @end menu -@node noro_pd.syci_dec,,, 準素分解 +@node noro_pd.syci_dec,,, 羣膣茹 @subsection @code{noro_pd.syci_dec} @findex noro_pd.syci_dec @table @t @item noro_pd.syci_dec(@var{I},@var{vars}[|@var{options}]) -イデアル @var{I} の最短準素分解を計算する. +ゃ≪ @var{I} 羣膣茹ｃ荐膊. @end table @table @var @item return -@var{[QL(1),QL(2),...]} なるリスト, 各 @var{QL(i)} は -@var{[[Q(i1),P(i1)],[(i2),P(i2)],...]} なるリスト. +@var{[QL(1),QL(2),...]} 鴻, @var{QL(i)} +@var{[[Q(i1),P(i1)],[(i2),P(i2)],...]} 鴻. @item I -多項式リスト +紊綣鴻 @item vars -変数リスト +紊違鴻 @item options -下の説明参照. +筝茯. @end table @itemize @bullet @item -イデアル @var{I} の最短準素分解を計算する. -@samp{noro_pd.rr} で実装されている準素分解アルゴリズムは SYCI アルゴリズム -と呼ばれるもので, @samp{primdec} に実装されている Shimoyama-Yokoyama -(SY アルゴリズム) を改良したものである. +ゃ≪ @var{I} 羣膣茹ｃ荐膊. +@samp{noro_pd.rr} у茖羣膣茹ｃ≪眼冴 SYCI ≪眼冴 +若違, @samp{primdec} 絎茖 Shimoyama-Yokoyama +(SY ≪眼冴) 壕с. -イデアル @var{I} の付属素イデアル全体 @var{Ass(I)} を次のように分ける: -@var{A(1)} を極小付属素イデアル全体とし, @var{Ass(I)}から -@var{A(1)},...,@var{A(i-1)} を除いたものの中で極小なもの全体を @var{A(i)} -とする. SYCI アルゴリズムは, @var{A(i)} を @var{i} の小さい順に -計算しつつ, 対応する準素成分 -を計算するアルゴリズムである. 準素成分の計算は省略することができる. この -場合, @var{I} の付属素イデアルのみを計算するアルゴリズムとなる. @var{A(i)} -に属する付属素イデアルおよび対応する準素成分はレベル @var{i} であるという. +ゃ≪ @var{I} 篁絮膣ゃ≪篏 @var{Ass(I)} 罨＜: +@var{A(1)} 罐球鋌絮膣ゃ≪篏, @var{Ass(I)} +@var{A(1)},...,@var{A(i-1)} ゃ筝фサ絨篏 @var{A(i)} +. SYCI ≪眼冴, @var{A(i)} @var{i} 絨 +荐膊ゃ, 絲上羣膣 +荐膊≪眼冴с. 羣膣荐膊ャс. +翫, @var{I} 篁絮膣ゃ≪帥荐膊≪眼冴. @var{A(i)} +絮篁絮膣ゃ≪喝上羣膣 @var{i} с. -出力において, @var{Q(ij)} は @var{I} の @var{Pij}-準素成分であり, @var{Q(ij)} 全体が -@var{I} の最短準素分解を与える. -各 @var{QL(i)} はレベル @var{i} の成分全体 -を与える. 特に @var{QL(1)} は孤立成分および極小付属素イデアル全体を与える. -@var{QL(1)} の各成分のみ, 3つ目の要素として極大独立集合を持つ. +阪, @var{Q(ij)} @var{I} @var{Pij}-羣膣с, @var{Q(ij)} 篏 +@var{I} 羣膣茹ｃ筝. + @var{QL(i)} @var{i} 篏 +筝. 鴻 @var{QL(1)} 絖ょ恰サ絨鋌絮膣ゃ≪篏筝. +@var{QL(1)} , 3ょ荀膣罐球ぇ腴. @item -オプション @var{ass=1} が指定された場合, @var{QL(1)} に現われる成分 @var{Q(1j)} のみ準素成分 -(孤立準素成分)となるが, @var{QL(2)} 以降に現われる @var{Q(ij)} は @var{I} のある中間 -分解成分となる. しかし, @var{P(ij)} は @var{I} の付属素イデアルであり, -@var{P(ij)} 全体が @var{I} の付属素イデアル全体の集合を与えることは保証される. +激с @var{ass=1} 絎翫, @var{QL(1)} 憗 @var{Q(1j)} 炊膣 +(絖ょ羣膣), @var{QL(2)} 篁ラ憗 @var{Q(ij)} @var{I} 筝 +茹ｆ. , @var{P(ij)} @var{I} 篁絮膣ゃ≪с, +@var{P(ij)} 篏 @var{I} 篁絮膣ゃ≪篏筝篆荐若. @item -デフォルトでは有理数体上での分解を計算するが, オプション @var{mod=p} (@var{p} は30ビット以下の素数) を -指定すると @var{p}元体上での分解を計算する. ただし, @var{p} が小さいときには正しく計算 -できないか, 無限ループに陥る. (@var{p} が 5桁以上なら問題ないであろう.) +с遺筝с茹ｃ荐膊, 激с @var{mod=p} (@var{p} 30篁ヤ膣) +絎 @var{p}篏筝с茹ｃ荐膊. , @var{p} 絨罩ｃ頥膊 +с, ♂若ャ. (@var{p} 5罅篁ヤ馹с.) @item -@var{iso=n} (@var{n}は 0,1,2,3のいずれか) を指定すると, saturation 計算の方法が変わる. -デフォルトでは @var{n=1} である. +@var{iso=n} (@var{n} 0,1,2,3) 絎, saturation 荐膊号紊. +с @var{n=1} с. @item -オプション @var{time=1} を指定すると, 計算時間の内訳を表示する. +激с @var{time=1} 絎, 荐膊荐潟茵腓冴. @item -オプション @var{para=proclist} を指定すると, 部分的な分散計算を行う. -@var{proclist}は @code{noro_pd.init_pprocs} により生成されたプロセスのリストである. +激с @var{para=proclist} 絎, ｈ膊茵. +@var{proclist} @code{noro_pd.init_pprocs} 祉鴻鴻с. @item -オプション @var{f4=1} が指定された場合, 可能な限り F4 アルゴリズムを用いる. -デフォルトでは Buchberger アルゴリズムを用いる. +激с @var{f4=1} 絎翫, 純 F4 ≪眼冴. +с Buchberger ≪眼冴. @item -オプション @var{trace=1} が指定された場合, 可能な限り trace アルゴリズムを用いる. -デフォルトでは trace なしの Buchberger または F4 アルゴリズムを用いる. +激с @var{trace=1} 絎翫, 純 trace ≪眼冴. +с trace Buchberger 障 F4 ≪眼冴. @item -オプション @var{intgb=1} が指定された場合, 複数のイデアルの共通部分を, 2 つずつの -イデアルの共通部分計算の繰り返しとして計算する際に, 毎回その共通部分のグレブナー基底を -計算する. デフォルトではグレブナー基底を計算せずに繰り返す. +激с @var{intgb=1} 絎翫, 茲違ゃ≪演, 2 ゃゃ +ゃ≪演荐膊膵違菴荐膊, 罸演違弱阪 +荐膊. с違弱阪荐膊膵違菴. @end itemize @@ -198,37 +198,37 @@ x21*x12-x22*x11,x21*x13-x23*x11,x21^2,x22*x13-x23*x12, [x01,x03,x10,x11,x12,x13,x14,x21,x23]] @end example -@node noro_pd.prime_dec,,, 準素分解 +@node noro_pd.prime_dec,,, 羣膣茹 @subsection @code{noro_pd.prime_dec} @findex noro_pd.prime_dec @table @t @item noro_pd.syci_dec(@var{I},@var{vars}[|@var{options}]) -イデアル @var{I} の根基の素イデアル分解を計算する. +ゃ≪ @var{I} 劫冴膣ゃ≪茹ｃ荐膊. @end table @table @var @item return -リスト (成分の詳細は下で説明する) +鴻 (荅括完筝ц) @item I -多項式リスト +紊綣鴻 @item vars -変数リスト +紊違鴻 @item options -下の説明参照. +筝茯. @end table @itemize @bullet @item -デフォルトでは, @var{I} の根基の素イデアル分解の成分のリスト -@var{[P(1),P(2),...]} を返す. +с, @var{I} 劫冴膣ゃ≪茹ｃ鴻 +@var{[P(1),P(2),...]} 菴. @item -オプション @var{indep=1} が指定された場合, @var{[[P(1),Y(1)],[P(2),Y(2)],...]} -を返す. ここで, @var{Y(i)} は @var{P(i)} に対する極大独立集合である. +激с @var{indep=1} 絎翫, @var{[[P(1),Y(1)],[P(2),Y(2)],...]} +菴. , @var{Y(i)} @var{P(i)} 絲障罐球ぇ腴с. @item -オプション @var{radical=1} が指定された場合, 素イデアル成分のリスト @var{PL} -と, @var{I} の根基 @var{rad} のペアのリスト @var{[PL,rad]} が返される. +激с @var{radical=1} 絎翫, 膣ゃ≪鴻 @var{PL} +, @var{I} 劫 @var{rad} ≪鴻 @var{[PL,rad]} 菴. @end itemize @example @@ -240,7 +240,7 @@ x21*x12-x22*x11,x21*x13-x23*x11,x21^2,x22*x13-x23*x12, @end example -@section 関連する関数 +@section ∫ｃ∽ @menu * noro_pd.ideal_intersection:: @@ -253,35 +253,35 @@ x21*x12-x22*x11,x21*x13-x23*x11,x21^2,x22*x13-x23*x12, * noro_pd.init_pprocs:: @end menu -@node noro_pd.ideal_intersection,,, 関連する関数 +@node noro_pd.ideal_intersection,,, ∫ｃ∽ @subsection @code{noro_pd.ideal_intersection} @findex noro_pd.ideal_intersection @table @t @item noro_pd.ideal_intersection(@var{I1},@var{I2},@var{vars},@var{ord}[|@var{mod=p}]) -イデアル @var{I1}, @var{I2} の共通部分を計算する. +ゃ≪ @var{I1}, @var{I2} 演荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item I -多項式リスト +紊綣鴻 @item vars -変数リスト +紊違鴻 @item ord -項順序 +綺 @end table @itemize @bullet @item -返されるリストは @var{I1} と @var{I2} の共通部分の @var{ord} に関するグレブナー -基底になっている. +菴鴻 @var{I1} @var{I2} 演 @var{ord} ≪違 +阪ｃ. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -295,37 +295,37 @@ x21*x12-x22*x11,x21*x13-x23*x11,x21^2,x22*x13-x23*x12, j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c] @end example -@node noro_pd.ideal_intersection_m,,, 関連する関数 +@node noro_pd.ideal_intersection_m,,, ∫ｃ∽ @subsection @code{noro_pd.ideal_intersection_m} @findex noro_pd.ideal_intersection_m @table @t @item noro_pd.ideal_intersection_m(@var{I1},@var{I2},@var{vars},@var{ord}[|@var{mod=p}]) -イデアル @var{I1}, @var{I2} の共通部分を計算する. +ゃ≪ @var{I1}, @var{I2} 演荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item I -多項式リスト +紊綣鴻 @item vars -変数リスト +紊違鴻 @item ord -項順序 +綺 @end table @itemize @bullet -@var{I2} がグレブナー基底で, @var{I1} の生成系の個数が多い場合に -@code{noro_pd.ideal_intersection} より高速な場合がある. +@var{I2} 違弱阪, @var{I1} 膤祉違紊翫 +@code{noro_pd.ideal_intersection} 蕭翫. @item -返されるリストは共通部分の生成系だが -必ずしも共通部分のグレブナー基底になってはいない. +菴鴻演膤祉 +綽演違弱阪ｃ. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -340,32 +340,32 @@ j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c 0.064sec + gc : 0.012sec(0.07933sec) @end example -@node noro_pd.ideal_list_intersection,,, 関連する関数 +@node noro_pd.ideal_list_intersection,,, ∫ｃ∽ @subsection @code{noro_pd.ideal_list_intersection} @findex noro_pd.ideal_list_intersection @table @t @item noro_pd.ideal_intersection(@var{ilist},@var{vars},@var{ord}[|@var{mod=p}]) -イデアルのリスト @var{ilist} の成分の共通部分を計算する. +ゃ≪鴻 @var{ilist} 演荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item ilist -多項式リストのリスト +紊綣鴻鴻 @item vars -変数リスト +紊違鴻 @end table @itemize @bullet @item -返されるリストは共通部分のグレブナー基底になっている. +菴鴻演違弱阪ｃ. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -380,27 +380,27 @@ j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c @table @t @item noro_pd.colon(@var{I},@var{f},@var{vars}[|@var{mod=p}]) -@var{I:f} を計算する. +@var{I:f} 荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item I -多項式リスト +紊綣鴻 @item f -多項式 +紊綣 @item vars -変数リスト +紊違鴻 @end table @itemize @bullet @item -返されるリストは @var{I:f} のグレブナー基底とは限らない. +菴鴻 @var{I:f} 違弱阪. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -415,27 +415,27 @@ j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c @table @t @item noro_pd.colon(@var{I},@var{J},@var{vars}[|@var{mod=p}]) -@var{I:J} を計算する. +@var{I:J} 荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item I -多項式リスト +紊綣鴻 @item J -多項式リスト +紊綣鴻 @item vars -変数リスト +紊違鴻 @end table @itemize @bullet @item -返されるリストは@var{I:J}のグレブナー基底になっている. +菴鴻@var{I:J}違弱阪ｃ. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -450,27 +450,27 @@ j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c @table @t @item noro_pd.sat(@var{I},@var{f},@var{vars}[|@var{mod=p}]) -@var{I} の @var{f} による saturation を計算する. +@var{I} @var{f} saturation 荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item I -多項式リスト +紊綣鴻 @item f -多項式 +紊綣 @item vars -変数リスト +紊違鴻 @end table @itemize @bullet @item -返されるリストは@var{I:f}のグレブナー基底になっている. +菴鴻@var{I:f}違弱阪ｃ. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -485,27 +485,27 @@ j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c @table @t @item noro_pd.ideal_sat(@var{I},@var{J},@var{vars}[|@var{mod=p}]) -@var{I:J} を計算する. +@var{I:J} 荐膊. @end table @table @var @item return -多項式リスト +紊綣鴻 @item I -多項式リスト +紊綣鴻 @item J -多項式リスト +紊綣鴻 @item vars -変数リスト +紊違鴻 @end table @itemize @bullet @item -返されるリストは@var{I:J}のグレブナー基底になっている. +菴鴻@var{I:J}違弱阪ｃ. @item -デフォルトでは有理数体上で計算だが, オプション @var{mod=p} が指定された場合 -@var{p}元体上での計算を行う. +с遺筝ц膊, 激с @var{mod=p} 絎翫 +@var{p}篏筝с荐膊茵. @end itemize @example @@ -520,27 +520,27 @@ j*i*g*d*c*b,i*e*c*b,-z*e*d+z*h*g*f,-z*c*b,-z*d*a+z*j*c @table @t @item noro_pd.init_pprocs(@var{m}[|@var{nox=1}]) -分散計算用プロセスを起動する. +ｈ膊祉鴻莎桁. @end table @table @var @item return -整数リスト +贋違鴻 @item m -正整数 +罩ｆ贋 @end table @itemize @bullet @item -分散計算に用いるためのプロセス (@code{ox_asir})を起動し, その番号のリストを返す. +ｈ膊祉 (@code{ox_asir})莎桁, 垩鴻菴. @item -ホームディレクトリの @samp{.asirrc} に @code{load("noro_pd.rr")$} を -入れておくことで, @code{ox_asir} の起動時に @samp{noro_pd.rr} が -読み込まれ, 分散計算の準備ができる. +若ｃ @samp{.asirrc} @code{load("noro_pd.rr")$} +ャ, @code{ox_asir} 莎桁 @samp{noro_pd.rr} +茯粋昭障, ｈ膊羣с. @item -オプション @var{nox=1} が指定された場合, 起動されたプロセスからの -画面出力のためのウィンドウが開かない. +激с @var{nox=1} 絎翫, 莎桁祉鴻 +脂√阪ｃ潟. @end itemize @example @@ -558,7 +558,7 @@ x17,x20,x21,x22,x23,x24,x25,x26,x27]$ [total,30.0339,ass,29.5498,pd,23.7695,iso,1.96412,int,3.32021,ext,0.48403] [elapsed,79.0897,ass,62.5683,pd,26.0532,iso,28.037,int,7.97536,ext,16.5214] @end example -@comment --- おまじない --- +@comment --- 障 --- @node Index,,, Top @unnumbered Index @printindex fn @@ -569,5 +569,5 @@ x17,x20,x21,x22,x23,x24,x25,x26,x27]$ @summarycontents @contents @bye -@comment --- おまじない終り --- +@comment --- 障腟 ---