Annotation of OpenXM/src/asir-contrib/packages/doc/noro_grcrt/noro_grct-ja.texi, Revision 1.1
1.1 ! noro 1: %comment $OpenXM$
! 2: %comment --- おまじない ---
! 3: \input texinfo-ja
! 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: @documentlanguage ja
! 12: @c -*-texinfo-*-
! 13: @comment %**start of header
! 14: @comment --- おまじない終り ---
! 15:
! 16: @comment --- GNU info ファイルの名前 ---
! 17: @setfilename asir-contrib-noro_grcrt
! 18:
! 19: @comment --- タイトル ---
! 20: @settitle noro_grcrt
! 21:
! 22: @comment %**end of header
! 23: @comment %@setchapternewpage odd
! 24:
! 25: @comment --- おまじない ---
! 26: @ifinfo
! 27: @macro fref{name}
! 28: @ref{\name\,,@code{\name\}}
! 29: @end macro
! 30: @end ifinfo
! 31:
! 32: @iftex
! 33: @comment @finalout
! 34: @end iftex
! 35:
! 36: @titlepage
! 37: @comment --- おまじない終り ---
! 38:
! 39: @comment --- タイトル, バージョン, 著者名, 著作権表示 ---
! 40: @title noro_grcrt
! 41: @subtitle noro_grcrt User's Manual
! 42: @subtitle Edition 1.0
! 43: @subtitle Feb 2019
! 44:
! 45: @author by Masayuki Noro
! 46: @page
! 47: @vskip 0pt plus 1filll
! 48: Copyright @copyright{} Masayuki Noro
! 49: 2019. All rights reserved.
! 50: @end titlepage
! 51:
! 52: @comment --- おまじない ---
! 53: @synindex vr fn
! 54: @comment --- おまじない終り ---
! 55:
! 56: @comment --- @node は GNU info, HTML 用 ---
! 57: @comment --- @node の引数は node-name, next, previous, up ---
! 58: @node Top,, (dir), (dir)
! 59:
! 60: @comment --- @menu は GNU info, HTML 用 ---
! 61: @comment --- chapter 名を正確に並べる ---
! 62: @menu
! 63: * 準素分解パッケージ noro_grcrt.rr::
! 64: * Index::
! 65: @end menu
! 66:
! 67: @comment --- chapter の開始 ---
! 68: @comment --- 親 chapter 名を正確に ---
! 69: @node CRTパッケージ noro_grcrt.rr,,, Top
! 70: @chapter CRTパッケージ noro_grcrt.rr
! 71:
! 72: @comment --- section 名を正確に並べる ---
! 73: @menu
! 74: * CRTによるグレブナー基底計算::
! 75: * CRTに関する関数::
! 76: @end menu
! 77:
! 78: このマニュアルでは, asir-contrib パッケージに収録されている,
! 79: CRTパッケージ @samp{noro_grcrt.rr} について解説する.
! 80: このパッケージを使うには, まず @samp{noro_grcrt.rr} をロードする.
! 81: @example
! 82: [1831] load("noro_grcrt.rr");
! 83: @end example
! 84: このパッケージの函数を呼び出すには, 全て @code{noro_grcrt.} を先頭につける.
! 85: このマニュアルでは, 関連する組み込み関数についても解説する.
! 86: @example
! 87:
! 88: @end example
! 89:
! 90: @comment --- section の開始 ---
! 91: @comment --- 書体指定について ---
! 92: @comment --- @code{} はタイプライタ体表示 ---
! 93: @comment --- @var{} は斜字体表示 ---
! 94: @comment --- @b{} はボールド表示 ---
! 95: @comment --- @samp{} はファイル名などの表示 ---
! 96:
! 97: @node CRTによるグレブナー基底計算,,, CRTパッケージ noro_grcrt.rr
! 98:
! 99: @section CRTによるグレブナー基底計算
! 100:
! 101: @menu
! 102: * f4_chr::
! 103: * init_pprocs::
! 104: @end menu
! 105:
! 106: @node f4_chr,,, CRTによるグレブナー基底計算
! 107:
! 108: @subsection @code{f4_chr}
! 109: @findex noro_grcrt.f4_chr
! 110:
! 111: @table @t
! 112: @item noro_grcrt.f4_chr_dec(@var{b},@var{v},@var{ord}[|@var{options}])
! 113: CRT によりグレブナー基底候補を求める.
! 114: @end table
! 115:
! 116: @table @var
! 117: @item return
! 118: 多項式リスト
! 119:
! 120: @item b
! 121: 多項式リスト
! 122: @item v
! 123: 変数リスト
! 124: @item ord
! 125: 項順序型
! 126: @item options
! 127: 下の説明参照.
! 128: @end table
! 129:
! 130: @itemize @bullet
! 131: 有限体上のグレブナー基底を @code{nd_f4} で計算し, それらを CRT で貼り合わせることで, 有理数体上のグレブナー基底候補を求める.
! 132: @item
! 133: 正当性のチェックは全く行わない.
! 134: @item
! 135: オプション @var{homo=1} を指定すると, 有限体上のグレブナー基底計算を⻫次化付きて計算する.
! 136: @item
! 137: オプション @var{weight} を指定すると, weight 付きで計算する.
! 138: @end itemize
! 139:
! 140:
! 141: @example
! 142: [2465] P=noro_grcrt.init_pprocs([[0,4]]|nox=1)$
! 143: [2466] B=cyclic(8)$
! 144: [2467] V=[c0,c1,c2,c3,c4,c5,c6,c7]$
! 145: [2468] G=noro_grcrt.f4_chr(B,V,0|proc=P)$
! 146: ...
! 147: [Template,0,CRT,5.812,IR,11.388,#P,56]
! 148: 28.74sec(55.12sec)
! 149: @end example
! 150:
! 151: @node init_pprocs,,,CRTによるグレブナー基底計算
! 152:
! 153: @subsection @code{noro_grcrt.init_pprocs}
! 154: @findex noro_grcrt.init_pprocs
! 155:
! 156: @table @t
! 157: @item noro_grcrt.init_pprocs(@var{list},[|@var{nox}=0|1])
! 158: 並列計算用サーバを起動する.
! 159: @end table
! 160:
! 161: @table @var
! 162: @item return
! 163: ストリーム番号のリスト
! 164: @item list
! 165: リスト
! 166: @end table
! 167:
! 168: @itemize @bullet
! 169: @code{ox_asir} をまとめて起動する.
! 170: @item
! 171: 引数 @var{list}は @var{[[host1,n1],[host2,n2],...]}の形のリストで, @var{hosti} に @var{ni} 個の
! 172: @code{ox_asir} を起動することを意味する. ここで @var{hosti=0} の場合, \code{asir}が実行されている
! 173: マシンを意味する.
! 174: @item
! 175: オプション @var{nox=1} が指定された場合, サーバ用のメッセージウィンドウは表示されない. デバッグ中は
! 176: このオプションを指定しない方が安全である.
! 177: @end itemize
! 178:
! 179: @example
! 180: [2465] P=noro_grcrt.init_pprocs([[0,2],["shinohara",2]]|nox=1);
! 181: [0,1,2,3]
! 182: @end example
! 183:
! 184:
! 185: @section CRTに関する関数
! 186:
! 187: @menu
! 188: * dp_chrem2::
! 189: * intdptoratdp::
! 190: @end menu
! 191:
! 192: @node dp_chrem2,,, CRTに関する関数
! 193:
! 194: @subsection @code{noro_grcrt.dp_chrem2}
! 195: @findex noro_grcrt.dp_chrem2
! 196:
! 197: @table @t
! 198: @item noro_grcrt.dp_chrem2(@var{g},@var{M},@var{gp},@var{p},@var{stat})
! 199: CRTによる貼り合わせを実行する.
! 200: @end table
! 201:
! 202: @table @var
! 203: @item return
! 204: チェックに失敗した個数
! 205:
! 206: @item g
! 207: 分散多項式の配列
! 208: @item M
! 209: 正整数
! 210: @item gp
! 211: 分散多項式の配列
! 212: @item p
! 213: 正整数
! 214: @item stat
! 215: 配列
! 216: @end table
! 217:
! 218: @example
! 219: [2465] G=ltov([<<1,2>>+3*<<0,1>>,<<3,4>>+2*<<1,0>>])$
! 220: [2466] GM=ltov([<<1,2>>+5*<<0,1>>,<<3,4>>+7*<<1,0>>])$
! 221: [2467] Stat=vector(2)$
! 222: [2468] Mod=17$
! 223: [2469] P=19$
! 224: [2470] noro_grcrt.dp_chrem2(G,Mod,GM,P,Stat);
! 225: 0
! 226: [2471] G;
! 227: [ (1)*<<1,2>>+(309)*<<0,1>> (1)*<<3,4>>+(121)*<<1,0>> ]
! 228: [2472] Stat;
! 229: [ 1 1 ]
! 230: @end example
! 231:
! 232: @node noro_grcrt.intdptoratdp,,, CRTに関する関数
! 233:
! 234: @subsection @code{noro_grcrt.intdptoratdp}
! 235: @FINDEX noro_grcrt.intdptoratdp
! 236:
! 237: @table @t
! 238: @item noro_grcrt.intdptoratdp(@var{f},@var{M},@var{B})
! 239: 整数-有理数変換を行う.
! 240: @end table
! 241:
! 242: @table @var
! 243: @item return
! 244: 多項式
! 245:
! 246: @item f
! 247: 分散多項式
! 248: @item M
! 249: 正整数
! 250: @end table
! 251:
! 252: @example
! 253: [2495] P=62884891$
! 254: [2496] A=<<1,2>>+(25632978)*<<0,1>>$
! 255: [2497] B=noro_grcrt.calcb(P);
! 256: 5607
! 257: [2498] noro_grcrt.intdptoratdp(A,P,B);
! 258: (1)*<<1,2>>+(-5321/1234)*<<0,1>>
! 259: @end example
! 260:
! 261: @comment --- おまじない ---
! 262: @node Index,,, Top
! 263: @unnumbered Index
! 264: @printindex fn
! 265: @printindex cp
! 266: @iftex
! 267: @vfill @eject
! 268: @end iftex
! 269: @summarycontents
! 270: @contents
! 271: @bye
! 272: @comment --- おまじない終り ---
! 273:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>