[BACK]Return to ox_pari-ja.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-contrib / packages / doc / ox_pari

Annotation of OpenXM/src/asir-contrib/packages/doc/ox_pari/ox_pari-ja.texi, Revision 1.2

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

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>