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