Annotation of OpenXM/src/asir-contrib/packages/doc/ox_pari/ox_pari-ja.texi, Revision 1.3
1.3 ! takayama 1: %% $OpenXM: OpenXM/src/asir-contrib/packages/doc/ox_pari/ox_pari-ja.texi,v 1.2 2020/08/27 11:05:27 takayama Exp $
1.1 takayama 2: %% debug に ln -s ../texinfo-ja.tex . をしておく.
3: %% xetex ox_pari-ja.texi (.texi までつける. )
4: %% 以下コメントは @comment で始める. \input texinfo 以降は普通の tex 命令は使えない.
5: \input texinfo-ja
6: @iftex
7: @catcode`@#=6
8: @def@fref#1{@xrefX[#1,,@code{#1},,,]}
9: @def@b#1{{@bf #1}}
10: @catcode`@#=@other
11: @end iftex
1.3 ! takayama 12: @c tex
! 13: @c \overfullrule=0pt
! 14: @c end tex
1.1 takayama 15: @documentlanguage ja
16: @c -*-texinfo-*-
17: @comment %**start of header
18: @comment --- おまじない終り ---
19:
20: @comment --- GNU info ファイルの名前 ---
21: @setfilename ox_pari-ja
22:
23: @comment --- タイトル ---
24: @settitle ox_pari
25:
26: @comment %**end of header
27: @comment %@setchapternewpage odd
28:
29: @comment --- おまじない ---
30: @ifinfo
31: @macro fref{name}
32: @ref{\name\,,@code{\name\}}
33: @end macro
34: @end ifinfo
35:
36: @iftex
37: @comment @finalout
38: @end iftex
39:
40: @titlepage
41: @comment --- おまじない終り ---
42:
43: @comment --- タイトル, バージョン, 著者名, 著作権表示 ---
44: @title ox_pari
45: @subtitle Risa/Asir ox_pari サーバ
46: @subtitle 1.0 版
47: @subtitle 2020 年 8 月 27 日
48:
49: @author by Risa/Asir committers
50: @page
51: @vskip 0pt plus 1filll
52: Copyright @copyright{} Risa/Asir committers
53: 2020--2020. All rights reserved.
54: @end titlepage
55:
56: @comment --- おまじない ---
57: @synindex vr fn
58: @comment --- おまじない終り ---
59:
60: @comment --- @node は GNU info, HTML 用 ---
61: @comment --- @node の引数は node-name, next, previous, up ---
62: @node Top,, (dir), (dir)
63:
64: @comment --- @menu は GNU info, HTML 用 ---
65: @comment --- chapter 名を正確に並べる ---
66: @comment --- この文書では chapter XYZ, Chapter Index がある.
67: @comment --- Chapter XYZ には section XYZについて, section XYZに関する函数がある.
68: @menu
69: * ox_pariについて
70: * ox_pari函数::
71: * Index::
72: @end menu
73:
74: @comment --- chapter の開始 ---
75: @comment --- 親 chapter 名を正確に. 親がない場合は Top ---
76: @node ox_pariについて,,, Top
77: @chapter ox_pariについて
78:
79: ox_pari は数論システム pari のサーバである.
80: pari 函数の呼び出し方法は
81: @example
82: pari(函数名, 引数1, ...);
83: @end example
84: @noindent
85: サーバーに登録されている函数名は次節を参照.
86:
87: @sp 3
88:
89: @noindent
90: Pari/gp は Bordeaux 大学で開発されている数論システムである.
91: 次の web サイトを参照.
92: @itemize @bullet
93: @item [pari-gp]
94: @uref{http://pari.math.u-bordeaux.fr/index.html}
95: @end itemize
96:
97: @node ox_pari函数,,, Top
98: @chapter ox_pari函数
99:
100: @menu
101: * pari::
102: @end menu
103:
104: @comment **********************************************************
105: @comment --- ◯◯◯◯ の説明
106: @comment --- 個々の函数の説明の開始 ---
107: @comment --- section 名を正確に ---
108: @node pari,,, ox_pari函数
109: @section @code{ox_pari}
110: @comment --- 索引用キーワード
111: @findex pari
112:
113: @table @t
114: @item pari(@var{func},@var{arg1},@var{arg2}, ...)
115: :: pari 函数 @var{func} を呼び出す.
116: @end table
117:
118: @comment --- 引数の簡単な説明 --- 以下まだ書いてない.
119: @table @var
120: @item return
121: Pari 函数による計算結果
122: @item argn
123: Pari 函数への引数
124: @end table
125:
126: @comment --- ここで函数の詳しい説明 ---
127: @comment --- @itemize〜@end itemize は箇条書き ---
128: @comment --- @bullet は黒点付き ---
129: @itemize @bullet
130: @item
1.2 takayama 131: ox_pari サーバーは自動的にスタートする. サーバの番号を得たい場合は
132: ctrl("oxpari_id") または
133: ox_get_serverinfo() 函数を用いる.
134: ox_pari サーバへ中断命令, shutdown 命令を送るには
135: ox_reset(サーバ番号), ox_shutdown(サーバ番号).
136: これらの函数については Risa/Asir マニュアルを参照
137: (たとえば @uref{http://www.openxm.org} の文書(documents)).
138: @item
1.1 takayama 139: pari library の函数の解説は @uref{https://pari.math.u-bordeaux.fr/dochtml/html/} を参照.
140: @item
1.2 takayama 141: 下記のテーブルに記載されている pari version 2.11.4 の library 函数を呼び出せる. gp での函数名と異なってる場合があるので注意.
1.1 takayama 142: @end itemize
143:
144: @comment OpenXM/src/ox_pari/pari_ftab.c を取り込む.
145: @smallformat
146: @verbatim
147: /* type=1 : one num/poly/mat arg */
148: /* type=2 : 1starg=num/poly/mat arg, 2ndarg=0(flag) */
149:
150: struct parif parif_tab[] = {
151: /* (ulong)allocatemoremem(ulong) */
152: {"allocatemem",(GEN (*)())allocatemoremem,0},
153: /* num/num */
154: {"abs",gabs,1},
155: {"erfc",gerfc,1},
156: {"arg",garg,1},
157: {"isqrt",racine,1},
158: {"gamma",ggamma,1},
159: {"zeta",gzeta,1},
160: {"floor",gfloor,1},
161: {"frac",gfrac,1},
162: {"imag",gimag,1},
163: {"conj",gconj,1},
164: {"ceil",gceil,1},
165: {"isprime",gisprime,2},
166: {"bigomega",gbigomega,1},
167: {"denom",denom,1},
168: {"numer",numer,1},
169: {"lngamma",glngamma,1},
170: {"logagm",glogagm,1},
171: {"classno",classno,1},
172: {"dilog",dilog,1},
173: {"disc",discsr,1},
174: {"discf",discf,1},
175: {"nextprime",nextprime,1},
176: {"eintg1",eint1,1},
177: {"eta",eta,1},
178: {"issqfree",gissquarefree,1},
179: {"issquare",gcarreparfait,1},
180: {"gamh",ggamd,1},
181: {"hclassno",classno3,1},
182:
183: /* num/array */
184: {"binary",binaire,1},
185: {"factorint",factorint,2},
186: {"factor",Z_factor,1},
187: {"cf",gcf,1},
188: {"divisors",divisors,1},
189: {"smallfact",smallfact,1},
190:
191: /* poly/poly */
192: {"centerlift",centerlift,1},
193: {"content",content,1},
194:
195: /* poly/array */
196: {"galois",galois,1},
197: {"roots",roots,1},
198: {"factpol",factpol,1},
199:
200: /* mat/mat */
201: {"adj",adj,1},
202: {"lll",lll,1},
203: {"lllgen",lllgen,1},
204: {"lllgram",lllgram,1},
205: {"lllgramgen",lllgramgen,1},
206: {"lllgramint",lllgramint,1},
207: {"lllgramkerim",lllgramkerim,1},
208: {"lllgramkerimgen",lllgramkerimgen,1},
209: {"lllint",lllint,1},
210: {"lllkerim",lllkerim,1},
211: {"lllkerimgen",lllkerimgen,1},
212: {"trans",gtrans,1},
213: {"eigen",eigen,1},
214: {"hermite",hnf,1},
215: {"mat",gtomat,1},
216: {"matrixqz2",matrixqz2,1},
217: {"matrixqz3",matrixqz3,1},
218: {"hess",hess,1},
219: {"ker",ker,1},
220: {"keri",keri,1},
221: {"kerint",kerint,1},
222: {"kerintg1",kerint1,1},
223:
224: /* mat/poly */
225: {"det",det,1},
226: {"det2",det2,1},
227:
228: /* not examined yet */
229: {"image",image,1},
230: {"image2",image2,1},
231: {"indexrank",indexrank,1},
232: {"indsort",indexsort,1},
233: {"initalg",initalg,1},
234: {"isfund",gisfundamental,1},
235: {"ispsp",gispsp,1},
236: {"jacobi",jacobi,1},
237: {"jell",jell,1},
238: {"length",(GEN(*)())glength,1},
239: {"lexsort",lexsort,1},
240: {"lift",lift,1},
241: {"lindep",lindep,1},
242: {"modreverse",polymodrecip,1},
243: {"mu",gmu,1},
244: {"norm",gnorm,1},
245: {"norml2",gnorml2,1},
246: {"numdiv",numbdiv,1},
247: {"omega",gomega,1},
248: {"order",order,1},
249: {"ordred",ordred,1},
250: {"phi",phi,1},
251: {"pnqn",pnqn,1},
252: {"primroot",gener,1},
253: {"psi",gpsi,1},
254: {"quadgen",quadgen ,1},
255: {"quadpoly",quadpoly ,1},
256: {"recip",polrecip ,1},
257: {"redreal",redreal ,1},
258: {"regula",regula ,1},
259: {"reorder",reorder ,1},
260: {"rhoreal",rhoreal ,1},
261: {"sigma",sumdiv,1},
262: {"signat",signat,1},
263: {"simplify",simplify,1},
264: {"smith",smith,1},
265: {"smith2",smith2,1},
266: {"sort",sort,1},
267: {"sqr",gsqr,1},
268: {"sqred",sqred,1},
269: {"sqrt",gsqrt,1},
270: {"supplement",suppl,1},
271: {"trace",gtrace,1},
272: {"trunc",gtrunc,1},
273: {"unit",fundunit,1},
274: {"wf",wf,1},
275: {"wf2",wf2,1},
276: };
277: @end verbatim
278: @end smallformat
279:
280: @sp 3
281: @noindent
282: 呼び出し例,
283: Ker(P: Z^4 ---> Z^2)
284: の Z 基底を求める.
285: @example
286: pari(kerint,newmat(2,4,[[1,1,1],[0,1,3,4]]));
287: @end example
288: @noindent
289: kerint についての情報は
290: @uref{https://pari.math.u-bordeaux.fr/dochtml/html/}
1.3 ! takayama 291: を見よ (gp での函数名は matkerint).
1.1 takayama 292:
293:
294:
295: @comment --- 参照(リンク)を書く ---
296: @table @t
297: @item 参照
1.2 takayama 298: @comment @ref{ox_get_serverinfo}
1.1 takayama 299: @end table
300:
301: @comment --- ChangeLog を書く. ソースコードの位置. 変更日時 など CVSサーバを見るため
302: @noindent
303: ChangeLog
304: @itemize @bullet
305: @item
306: OpenXM/src/ox_pari/pari_ftab.c に呼び出し可能な函数のテーブルがある.
307: @end itemize
308:
309:
310: @comment --- おまじない ---
311: @node Index,,, Top
312: @unnumbered Index
313: @printindex fn
314: @printindex cp
315: @iftex
316: @vfill @eject
317: @end iftex
318: @summarycontents
319: @contents
320: @bye
321: @comment --- おまじない終り ---
322:
323:
324: @comment テンプレート. start_of_template.
325: @comment **********************************************************
326: @comment --- ◯◯◯◯ の説明
327: @comment --- 個々の函数の説明の開始 ---
328: @comment --- section 名を正確に ---
329: @node gtt_ekn3.hoge,,, 超幾何函数E(k,n)
330: @subsection @code{gtt_ekn3.hoge}
331: @comment --- 索引用キーワード
332: @findex gtt_ekn3.hoge
333:
334: @table @t
335: @item gtt_ekn3.hoge(@var{i})
336: ::
337: @end table
338:
339: @comment --- 引数の簡単な説明 --- 以下まだ書いてない.
340: @table @var
341: @item i hage
342: @item return
343: @end table
344:
345: @comment --- ここで函数の詳しい説明 ---
346: @comment --- @itemize〜@end itemize は箇条書き ---
347: @comment --- @bullet は黒点付き ---
348: @itemize @bullet
349: @item 説明.
350: @end itemize
351:
352: @comment --- @example〜@end example は実行例の表示 ---
353: 例:
354: @example
355: [2221] gtt_ekn3.hoge([[1,4],[2,3]]);
356: @end example
357:
358:
359: @comment --- 参照(リンク)を書く ---
360: @table @t
361: @item 参照
362: @ref{gtt_ekn3.nc}
363: @ref{gtt_ekn3.gmvector}
364: @end table
365:
366: @comment --- ChangeLog を書く. ソースコードの位置. 変更日時 など CVSサーバを見るため
367: @noindent
368: ChangeLog
369: @itemize @bullet
370: @item
371: @end itemize
372: @comment end_of_template
373:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>