=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/noro_mwl/noro_mwl-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_mwl/noro_mwl-ja.texi 2009/12/07 01:47:35 1.3 +++ OpenXM/src/asir-contrib/packages/doc/noro_mwl/noro_mwl-ja.texi 2017/03/30 06:16:36 1.4 @@ -1,5 +1,5 @@ -%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/noro_mwl/noro_mwl-ja.texi,v 1.2 2009/11/03 02:43:36 noro Exp $ -%comment --- おまじない --- +%comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/noro_mwl/noro_mwl-ja.texi,v 1.3 2009/12/07 01:47:35 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_mwl -@comment --- タイトル --- +@comment --- 帥ゃ --- @settitle noro_mwl @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_mwl @subtitle noro_mwl User's Manual @subtitle Edition 1.0 @@ -48,57 +48,57 @@ Copyright @copyright{} Masayuki Noro 2009. 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 -* MWL 関連計算パッケージ noro_mwl.rr:: +* MWL ∫ｈ膊宴若 noro_mwl.rr:: * Index:: @end menu -@comment --- chapter の開始 --- -@comment --- 親 chapter 名を正確に --- -@node MWL 関連計算パッケージ noro_mwl.rr,,, Top -@chapter MWL 関連計算パッケージ noro_mwl.rr +@comment --- chapter 紮 --- +@comment --- 荀 chapter 罩ｇ∈ --- +@node MWL ∫ｈ膊宴若 noro_mwl.rr,,, Top +@chapter MWL ∫ｈ膊宴若 noro_mwl.rr -@comment --- section 名を正確に並べる --- +@comment --- section 罩ｇ∈筝鴻 --- @menu -* MWL 関連計算:: +* MWL ∫ｈ膊:: @end menu -このマニュアルでは, asir-contrib パッケージに収録されている, -MWL 関連計算パッケージ @samp{noro_mwl.rr} について解説する. -このパッケージを使うには, まず @samp{noro_mwl.rr} をロードする. +ャ≪с, asir-contrib 宴若吾蚊, +MWL ∫ｈ膊宴若 @samp{noro_mwl.rr} ゃ茹ｈ. +宴若吾篏帥, 障 @samp{noro_mwl.rr} 若. @example [1518] load("noro_mwl.rr"); @end example -このパッケージの函数を呼び出すには, 全て @code{mwl.} を先頭につける. +宴若吾醇違若喝冴, @code{mwl.} ゃ. @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 MWL 関連計算,,, MWL 関連計算パッケージ noro_mwl.rr -@section MWL 関連計算 +@node MWL ∫ｈ膊,,, MWL ∫ｈ膊宴若 noro_mwl.rr +@section MWL ∫ｈ膊 @menu * mwl.pdecomp:: @end menu -@node mwl.pdecomp mwl.pdecomp_ff,,, MWL 関連計算 +@node mwl.pdecomp mwl.pdecomp_ff,,, MWL ∫ｈ膊 @subsection @code{mwl.pdecomp}, @code{mwl.pdecomp_ff} @findex mwl.pdecomp @@ -106,48 +106,48 @@ MWL 関連計算パッケージ @samp{noro_mwl.rr} について解説 @table @t @item mwl.pdecomp(@var{ideal},@var{varlist}[|gbcheck=@var{yesno},f4=@var{yesno}]) -@itemx mwl.pdecomp_ff(@var{ideal},@var{varlist},@var{mod}[|gbcheck=@var{yesno},f4=@var{yesno}]) :: 0 次元イデアル @var{ideal} をいくつかのイデアルの共通部分として表す. +@itemx mwl.pdecomp_ff(@var{ideal},@var{varlist},@var{mod}[|gbcheck=@var{yesno},f4=@var{yesno}]) :: 0 罨≦ゃ≪ @var{ideal} ゃゃ≪演茵. @end table @table @var @item return -二要素からなるリスト +篋荀膣鴻 @item ideal -多項式リスト +紊綣鴻 @item varlist -変数リスト +紊違鴻 @item mod -素数 +膣 @item yesno -0 または 1 +0 障 1 @end table @itemize @bullet @item -0 次元イデアル @var{ideal} の各変数の最小多項式を既約分解し, 各既約 -成分を重複度つきで @var{ideal} に添加することを繰り返して得られた -イデアルのリストを第一要素, @var{ideal} の全次数逆辞書式順序に -関するグレブナー基底を第二要素とするリストを返す. +0 罨≦ゃ≪ @var{ideal} 紊違絨鎀綣∝茹ｃ, ∝ +茲綺ゃ @var{ideal} 羞糸膵違菴緇 +ゃ≪鴻膃筝荀膣, @var{ideal} 罨≧育莨後綺 +≪違弱阪膃篋荀膣鴻菴. @item -@code{mwl.pdecomp} は有理数体上, @code{mwl.pdecomp_ff} は -GF(@var{mod}) (位数 @var{mod} の有限体) 上での分解を行う. +@code{mwl.pdecomp} 遺筝, @code{mwl.pdecomp_ff} +GF(@var{mod}) (篏 @var{mod} 篏) 筝с茹ｃ茵. @item -出力リストの要素であるイデアルは, 必ずしも準素とは限らないが, -各変数の最小多項式が既約多項式のべきとなっているので, 準素に -近いことが期待される. これを準素分解の入力とすることで, もとの -イデアルをそのまま準素分解するより効率よく準素分解できることが -期待される. +阪鴻荀膣сゃ≪, 綽羣膣, +紊違絨鎀綣∝紊綣鴻ｃ, 羣膣 +菴緇. 羣膣茹ｃュ, +ゃ≪障丈膣茹ｃ合闒膣茹ｃс +緇. @item -デフォルトでは, グレブナー基底計算には @code{nd_gr_trace} が -用いられるが, オプション @code{f4=1} を指定すると @code{nd_f4_trace} -が用いられる. +с, 違弱阪荐膊 @code{nd_gr_trace} +, 激с @code{f4=1} 絎 @code{nd_f4_trace} +. @item -オプション @code{gbcheck=0} を指定すると, グレブナー基底計算における -チェックが省かれる. この場合, 大変小さい確率で正しい結果が出力されない -ことが有り得るが, ほとんどの場合は正しいので, 予備的な実験を繰り返す場合 -に有用である. -出力されたイデアルリストの全ての共通部分が入力 -と一致すれば, 出力が入力イデアルの分解になっていることは保証される. +激с @code{gbcheck=0} 絎, 違弱阪荐膊 +с. 翫, 紊у絨腆榊фｃ腟阪 +緇, 祉翫罩ｃ, 篋絎薑膵違菴翫 +с. +阪ゃ≪鴻演ュ +筝眼, 阪ュゃ≪茹ｃｃ篆荐若. @end itemize @example @@ -173,33 +173,33 @@ GF(@var{mod}) (位数 @var{mod} の有限体) 上での分解を行 @table @t @item mwl.generate_coef_ideal(@var{f}[|simp=@var{yesno}]) -:: x, y, t の多項式 @var{f} の多項式零点 (x(t),y(t)) の係数の満たす -方程式のイデアルを生成する +:: x, y, t 紊綣 @var{f} 紊綣句 (x(t),y(t)) 篆違羣 +合綣ゃ≪ @end table @table @var @item return -多項式リストと変数リストのペアからなるリスト +紊綣鴻紊違鴻≪鴻 @item f -多項式 +紊綣 @item yesno -0 または 1 +0 障 1 @end table @itemize @bullet @item -@var{f(x,y,t)=(y^2+c1(t)xy+c3(t)y)-(x^3+c2(t)x^2+c4(t)x+c6(t))} に対し, +@var{f(x,y,t)=(y^2+c1(t)xy+c3(t)y)-(x^3+c2(t)x^2+c4(t)x+c6(t))} 絲障, @var{x=am t^m+...+a0}, -@var{y=bn t^n+...+b0} (@var{ai, bj} は未定係数) -を @var{f} に代入したときの, 各 @var{t}のべきの係数 -を並べたリスト @var{ideal} および, 未定係数のリスト -@var{vlist=[b0,...,bn,a0,...,am]} のペア @var{[ideal,vlist]} を返す. +@var{y=bn t^n+...+b0} (@var{ai, bj} 絎篆) + @var{f} 篁ｅャ, @var{t}鴻篆 +筝鴻鴻 @var{ideal} , 絎篆違鴻 +@var{vlist=[b0,...,bn,a0,...,am]} @var{[ideal,vlist]} 菴. @item -各 @var{x}, @var{y} の次数は, @var{f} から自動的に決定される. + @var{x}, @var{y} 罨≧違, @var{f} 羆阪. @item -オプション @var{simp=1} が指定された場合, @var{am^3-bn^2} が @var{ideal} -に含まれている場合には, 新しい変数 @var{v} を導入し, -@var{am=v^2}, @var{bn=v^3} により @var{am,bn} を消去した結果を返す. +激с @var{simp=1} 絎翫, @var{am^3-bn^2} @var{ideal} +障翫, 違紊 @var{v} 絨ャ, +@var{am=v^2}, @var{bn=v^3} @var{am,bn} 羔ｻ腟菴. @end itemize @example [1519] load("noro_mwl.rr")$ @@ -211,7 +211,7 @@ GF(@var{mod}) (位数 @var{mod} の有限体) 上での分解を行 [[-3*a1*v^4+2*b2*v^3,-3*a0*v^4+2*b1*v^3-3*a1^2*v^2+b2^2,...], [b2,b1,b0,a1,a0,v]] @end example -@comment --- おまじない --- +@comment --- 障 --- @node Index,,, Top @unnumbered Index @printindex fn @@ -222,5 +222,5 @@ GF(@var{mod}) (位数 @var{mod} の有限体) 上での分解を行 @summarycontents @contents @bye -@comment --- おまじない終り --- +@comment --- 障腟 ---