Annotation of OpenXM/src/asir-contrib/packages/doc/noro_module_syz/noro_module_syz-ja.texi, Revision 1.3
1.3 ! takayama 1: %comment $OpenXM: OpenXM/src/asir-contrib/packages/doc/noro_module_syz/noro_module_syz-ja.texi,v 1.2 2016/08/31 07:49:37 noro Exp $
! 2: %comment --- おまじない ---
1.1 noro 3: \input ../../../../asir-doc/texinfo
4: @iftex
5: @catcode`@#=6
6: @def@fref#1{@xrefX[#1,,@code{#1},,,]}
7: @def@b#1{{@bf@gt #1}}
8: @catcode`@#=@other
9: @end iftex
10: @overfullrule=0pt
11: @c -*-texinfo-*-
12: @comment %**start of header
1.3 ! takayama 13: @comment --- おまじない終り ---
1.1 noro 14:
1.3 ! takayama 15: @comment --- GNU info ファイルの名前 ---
1.1 noro 16: @setfilename asir-contrib-noro_module_syz
17:
1.3 ! takayama 18: @comment --- タイトル ---
1.1 noro 19: @settitle noro_module_syz
20:
21: @comment %**end of header
22: @comment %@setchapternewpage odd
23:
1.3 ! takayama 24: @comment --- おまじない ---
1.1 noro 25: @ifinfo
26: @macro fref{name}
27: @ref{\name\,,@code{\name\}}
28: @end macro
29: @end ifinfo
30:
31: @iftex
32: @comment @finalout
33: @end iftex
34:
35: @titlepage
1.3 ! takayama 36: @comment --- おまじない終り ---
1.1 noro 37:
1.3 ! takayama 38: @comment --- タイトル, バージョン, 著者名, 著作権表示 ---
1.1 noro 39: @title noro_module_syz
40: @subtitle noro_module_syz User's Manual
41: @subtitle Edition 1.0
42: @subtitle Aug 2016
43:
44: @author by Masayuki Noro
45: @page
46: @vskip 0pt plus 1filll
47: Copyright @copyright{} Masayuki Noro
48: 2016. All rights reserved.
49: @end titlepage
50:
1.3 ! takayama 51: @comment --- おまじない ---
1.1 noro 52: @synindex vr fn
1.3 ! takayama 53: @comment --- おまじない終り ---
1.1 noro 54:
1.3 ! takayama 55: @comment --- @node は GNU info, HTML 用 ---
! 56: @comment --- @node の引数は node-name, next, previous, up ---
1.1 noro 57: @node Top,, (dir), (dir)
58:
1.3 ! takayama 59: @comment --- @menu は GNU info, HTML 用 ---
! 60: @comment --- chapter 名を正確に並べる ---
1.1 noro 61: @menu
62: * noro_module_syz.rr ::
63: * Index::
64: @end menu
65:
1.3 ! takayama 66: @comment --- chapter の開始 ---
! 67: @comment --- 親 chapter 名を正確に ---
1.1 noro 68: @node noro_module_syz.rr ,,, Top
69: @chapter noro_module_syz.rr
1.3 ! takayama 70: @comment --- section 名を正確に並べる ---
1.1 noro 71: @menu
1.3 ! takayama 72: * 加群の syzygy::
! 73: * 加群の自由分解::
1.1 noro 74: @end menu
75:
1.3 ! takayama 76: このマニュアルでは, asir-contrib パッケージに収録されている,
! 77: 加群の syzygy および自由分解を計算するパッケージ
! 78: @samp{noro_module_syz.rr} について解説する.
! 79: このパッケージを使うには, まず @samp{noro_module_syz.rr} をロードする.
1.1 noro 80: @example
81: [...] load("noro_module_syz.rr");
82: @end example
83: @noindent
1.3 ! takayama 84: このパッケージの函数を呼び出すには, 全て @code{newsyz.} を先頭につける.
1.1 noro 85:
1.3 ! takayama 86: @comment --- section の開始 ---
! 87: @comment --- 書体指定について ---
! 88: @comment --- @code{} はタイプライタ体表示 ---
! 89: @comment --- @var{} は斜字体表示 ---
! 90: @comment --- @b{} はボールド表示 ---
! 91: @comment --- @samp{} はファイル名などの表示 ---
1.1 noro 92:
1.3 ! takayama 93: @node 加群の syzygy,,, noro_module_syz.rr
! 94: @section 加群の syzygy
1.1 noro 95:
96: @menu
97: * noro_module_syz.modue_syz::
98: @end menu
99:
1.3 ! takayama 100: @node newsyz.module_syz,,, 加群の syzygy
1.1 noro 101:
102: @subsection @code{newsyz.module_syz}
103: @findex newsyz.module_syz
104:
105: @table @t
106: @item newsyz.module_syz(@var{f},@var{v},@var{h},@var{O}[|@var{weyl=1}])
1.3 ! takayama 107: syzygy の生成系 (グレブナー基底) を計算する.
1.1 noro 108: @end table
109:
110: @table @var
111: @item return
1.3 ! takayama 112: または多項式リストのリスト
1.1 noro 113:
114: @item f
1.3 ! takayama 115: 多項式リスト, または多項式リストのリスト
1.1 noro 116: @item v
1.3 ! takayama 117: 変数リスト
1.1 noro 118: @item h
1.3 ! takayama 119: 非負整数
1.1 noro 120: @item O
1.3 ! takayama 121: 項順序
1.1 noro 122: @end table
123:
124: @itemize @bullet
1.3 ! takayama 125: @item 多項式
! 126: 多項式列またが多項式ベクトル列に対する syzygy 加群のグレブナー基底を計算する.
! 127: @item @var{f=[f1,...,fm]} に対し, @var{h1*f1+...+hm*fm=0}を
! 128: 満たす多項式ベクトル @var{(h1,...,hm)} 全体のなす加群のグレブナー基底を
! 129: 計算する.
! 130: @item @var{fi} が多項式リストの場合, 自然に多項式ベクトルと見なす.
! 131: @item 与えられた項順序 @var{O} に対し, 加群の項順序 @var{[1,O]} すなわち
! 132: @var{O} で定まる POT (position over term) 項順序でのグレブナー基底を
! 133: 結果として返す.
! 134: @item @var{h} が 0 のとき有理数体上で trace アルゴリズムにより計算する.
! 135: @var{h} が 1 のとき有理数体上で斉次化 trace アルゴリズムにより計算する.
! 136: @var{h} が 2 以上の素数のとき有限体上で計算する.
! 137: オプション @var{weyl} が 1 のとき Weyl 代数上で, 左イデアル (左加群) として計算する.
1.1 noro 138: @end itemize
139:
140: @example
141: afo
142: @end example
143:
1.3 ! takayama 144: @node 加群の自由分解,,, noro_module_syz.rr
! 145: @section 加群の自由分解
1.1 noro 146:
147: @menu
148: * newsyz.module_minres::
149: @end menu
150:
1.3 ! takayama 151: @node newsyz.module_minres,,,加群の自由分解
1.1 noro 152: @subsection @code{newsyz.module_minres}
153: @findex newsyz.module_minres
154:
155: @table @t
156: @item newsyz.module_syz(@var{f},@var{v},@var{h},@var{O}[|@var{weyl=1}])
1.3 ! takayama 157: 加群の自由分解を計算する.
1.1 noro 158: @end table
159:
160: @table @var
161: @item return
1.3 ! takayama 162: 多項式リストのリストのリスト
1.1 noro 163:
1.2 noro 164: @item f
1.3 ! takayama 165: 多項式リスト, または多項式リストのリスト
1.1 noro 166: @item v
1.3 ! takayama 167: 変数リスト
1.2 noro 168: @item h
1.3 ! takayama 169: 非負整数
1.2 noro 170: @item O
1.3 ! takayama 171: 項順序
1.1 noro 172: @end table
173:
174:
175: @itemize @bullet
1.3 ! takayama 176: @item @var{R} を多項式環とする. @var{f=[f1,...,fm]} は @var{R} のイデアルまたは @var{R^k} の部分加群 (いずれも @var{M}と
! 177: する) の生成系とする.
! 178: この関数は, @var{M} の自由分解, すなわち完全列 @var{0->F(l)->F(l-1)->...->F(0)->M->0} を計算する.
! 179: @var{F(i)=R^(ni)} とする.
! 180: @item 結果は @var{[fl,...,f0]} なるリストで, @var{fi} は @var{F(i)->F(i-1)}
! 181: (ただし @var{F(-1)=M}) なる写像を表すベクトル列である.
! 182: @var{fi=[g(1),...,g(n(i))]} のとき, 各 @var{gj} はサイズ @var{n(i-1)} のリストで, @var{F(i)} の @var{j} 番目の
! 183: 標準基底ベクトルの像を表す.
! 184: @item @code{newsyz.module_syz} を実行し, 得られた syzygy の生成系のうち, 定数を成分に持つものがある限り簡約を行う,
! 185: という操作を単に繰り返すアルゴリズムを実装している.
! 186: @item 前項により, @var{f} が斉次の場合, 極小自由分解を得る. @var{f} が斉次でない場合, 前項の簡約は単に @var{F(i)} の
! 187: ランクを小さくする簡単化となる.
! 188: @item @var{h}, @var{O}, オプション @var{weyl} については @code{newsyz.module_syz} と同様である.
1.1 noro 189: @end itemize
190:
191: @example
1.2 noro 192: afo
1.1 noro 193: @end example
194:
1.3 ! takayama 195: @comment --- おまじない ---
1.1 noro 196: @node Index,,, Top
197: @unnumbered Index
198: @printindex fn
199: @printindex cp
200: @iftex
201: @vfill @eject
202: @end iftex
203: @summarycontents
204: @contents
205: @bye
1.3 ! takayama 206: @comment --- おまじない終り ---
1.1 noro 207:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>