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