Table of Contents
1. Introduction
1.1 マニュアルの構成
1.2 Notation
1.3 入手方法
2. Risa/Asir
2.1 Risa および Asir
2.2 Asir の特徴
2.3 Installation
2.3.1 UNIX binary version
2.3.2 UNIX source code version
2.3.3 Windows version
2.4 コマンドラインオプション
2.5 環境変数
2.6 起動から終了まで
2.7 割り込み
2.8 エラー処理
2.9 計算結果, 特殊な数
3. 型
3.1 Asir で使用可能な型
3.2 数の型
3.3 不定元の型
4. ユーザ言語 Asir
4.1 文法 (C 言語との違い)
4.2 ユーザ定義函数の書き方
4.2.1 ユーザ定義函数
4.2.2 変数および不定元
4.2.3 引数
4.2.4 コメント
4.2.5 文
4.2.6 return
文
4.2.7 if
文
4.2.8 ループ, break
, return
, continue
4.2.9 構造体定義
4.2.10 さまざまな式
4.2.11 プリプロセッサ
4.2.12 オプション指定
4.2.13 モジュール
5. デバッガ
5.1 デバッガとは
5.2 コマンドの解説
5.3 デバッガの使用例
5.4 デバッガの初期化ファイルの例
6. 組み込み函数
6.1 数の演算
6.1.1 idiv
, irem
6.1.2 fac
6.1.3 igcd
,igcdcntl
6.1.4 ilcm
6.1.5 isqrt
6.1.6 inv
6.1.7 prime
, lprime
6.1.8 random
6.1.9 lrandom
6.1.10 mt_save
, mt_load
6.1.11 nm
, dn
6.1.12 conj
, real
, imag
6.1.13 eval
, deval
6.1.14 pari
6.1.15 setprec
6.1.16 setmod
6.1.17 ntoint32
, int32ton
6.2 bit 演算
6.2.1 iand
, ior
, ixor
6.2.2 ishift
6.3 多項式, 有理式の演算
6.3.1 var
6.3.2 vars
6.3.3 uc
6.3.4 coef
6.3.5 deg
, mindeg
6.3.6 nmono
6.3.7 ord
6.3.8 sdiv
, sdivm
, srem
, sremm
, sqr
, sqrm
6.3.9 tdiv
6.3.10 %
6.3.11 subst
, psubst
6.3.12 diff
6.3.13 ediff
6.3.14 res
6.3.15 fctr
, sqfr
6.3.16 ufctrhint
6.3.17 modfctr
6.3.18 ptozp
6.3.19 prim
, cont
6.3.20 gcd
, gcdz
6.3.21 red
6.4 一変数多項式の演算
6.4.1 umul
, umul_ff
, usquare
, usquare_ff
, utmul
, utmul_ff
6.4.2 kmul
, ksquare
, ktmul
6.4.3 set_upkara
, set_uptkara
, set_upfft
6.4.4 utrunc
, udecomp
, ureverse
6.4.5 uinv_as_power_series
, ureverse_inv_as_power_series
6.4.6 udiv
, urem
, urembymul
, urembymul_precomp
, ugcd
6.5 リストの演算
6.5.1 car
, cdr
, cons
, append
, reverse
, length
6.6 配列
6.6.1 newvect
6.6.2 ltov
6.6.3 vtol
6.6.4 newbytearray
6.6.5 newmat
6.6.6 size
6.6.7 det
,invmat
6.6.8 qsort
6.7 構造体
6.7.1 newstruct
6.7.2 arfreg
6.7.3 struct_type
6.8 型を求める函数
6.8.1 type
6.8.2 ntype
6.8.3 vtype
6.9 函数に対する操作
6.9.1 call
6.9.2 functor
, args
, funargs
6.10 文字列に関する演算
6.10.1 rtostr
6.10.2 strtov
6.10.3 eval_str
6.10.4 strtoascii
, asciitostr
6.10.5 str_len
, str_chr
, sub_str
6.11 入出力
6.11.1 end
, quit
6.11.2 load
6.11.3 which
6.11.4 output
6.11.5 bsave
, bload
6.11.6 bload27
6.11.7 print
6.11.8 access
6.11.9 remove_file
6.11.10 open_file
, close_file
, get_line
, get_byte
, put_byte
, purge_stdin
6.12 モジュールに対する操作
6.12.1 module_list
6.12.2 module_definedp
6.12.3 remove_module
6.13 数値函数
6.13.1 dacos
, dasin
, datan
, dcos
, dsin
, dtan
6.13.2 dabs
, dexp
, dlog
, dsqrt
6.13.3 ceil
, floor
, rint
, dceil
, dfloor
, drint
6.14 その他
6.14.1 ctrl
6.14.2 debug
6.14.3 error
6.14.4 help
6.14.5 time
6.14.6 cputime
, tstart
, tstop
6.14.7 timer
6.14.8 currenttime
6.14.9 sleep
6.14.10 heap
6.14.11 version
6.14.12 shell
6.14.13 map
6.14.14 flist
6.14.15 delete_history
6.14.16 get_rootdir
6.14.17 getopt
6.14.18 getenv
7. 分散計算
7.1 OpenXM
7.2 Mathcap
7.3 スタックマシンコマンド
7.4 デバッグ
7.4.1 エラーオブジェクト
7.4.2 リセット
7.4.3 デバッグ用ポップアップウィンドウ
7.5 分散計算に関する関数
7.5.1 ox_launch
, ox_launch_nox
, ox_shutdown
7.5.2 ox_launch_generic
7.5.3 generate_port
, try_bind_listen
, try_connect
, try_accept
, register_server
7.5.4 `ox_asir'
7.5.5 ox_rpc
, ox_cmo_rpc
, ox_execute_string
7.5.6 ox_reset
,ox_intr
,register_handler
7.5.7 ox_push_cmo
, ox_push_local
7.5.8 ox_pop_cmo
, ox_pop_local
7.5.9 ox_push_cmd
, ox_sync
7.5.10 ox_get
7.5.11 ox_pops
7.5.12 ox_select
7.5.13 ox_flush
7.5.14 ox_get_serverinfo
7.5.15 ifplot
, conplot
, plot
, polarplot
, plotover
7.5.16 open_canvas
, clear_canvas
, draw_obj
, draw_string
8. グレブナ基底の計算
8.1 分散表現多項式
8.2 ファイルの読み込み
8.3 基本的な函数
8.4 計算および表示の制御
8.5 項順序の設定
8.6 有理式を係数とするグレブナ基底計算
8.7 基底変換
8.8 Weyl 代数
8.9 グレブナ基底に関する函数
8.9.1 gr
, hgr
, gr_mod
, dgr
8.9.2 lex_hensel
, lex_tl
, tolex
, tolex_d
, tolex_tl
8.9.3 lex_hensel_gsl
, tolex_gsl
, tolex_gsl_d
8.9.4 gr_minipoly
, minipoly
8.9.5 tolexm
, minipolym
8.9.6 dp_gr_main
, dp_gr_mod_main
, dp_gr_f_main
, dp_weyl_gr_main
, dp_weyl_gr_mod_main
, dp_weyl_gr_f_main
8.9.7 dp_f4_main
, dp_f4_mod_main
, dp_weyl_f4_main
, dp_weyl_f4_mod_main
8.9.8 dp_gr_flags
, dp_gr_print
8.9.9 dp_ord
8.9.10 dp_ptod
8.9.11 dp_dtop
8.9.12 dp_mod
, dp_rat
8.9.13 dp_homo
, dp_dehomo
8.9.14 dp_ptozp
, dp_prim
8.9.15 dp_nf
, dp_nf_mod
, dp_true_nf
, dp_true_nf_mod
8.9.16 dp_hm
, dp_ht
, dp_hc
, dp_rest
8.9.17 dp_td
, dp_sugar
8.9.18 dp_lcm
8.9.19 dp_redble
8.9.20 dp_subd
8.9.21 dp_vtoe
, dp_etov
8.9.22 dp_mbase
8.9.23 dp_mag
8.9.24 dp_red
, dp_red_mod
8.9.25 dp_sp
, dp_sp_mod
8.9.26 p_nf
, p_nf_mod
, p_true_nf
, p_true_nf_mod
8.9.27 p_terms
8.9.28 gb_comp
8.9.29 katsura
, hkatsura
, cyclic
, hcyclic
8.9.30 primadec
, primedec
8.9.31 primedec_mod
8.9.32 bfunction
, bfct
, generic_bfct
, ann
, ann0
9. 代数的数に関する演算
9.1 代数的数の表現
9.2 代数的数の演算
9.3 代数体上での 1 変数多項式の演算
9.3.1 GCD
9.3.2 無平方分解, 因数分解
9.3.3 最小分解体
9.4 代数的数に関する函数のまとめ
9.4.1 newalg
9.4.2 defpoly
9.4.3 alg
9.4.4 algv
9.4.5 simpalg
9.4.6 algptorat
9.4.7 rattoalgp
9.4.8 cr_gcda
9.4.9 sp_norm
9.4.10 asq
, af
, af_noalg
9.4.11 sp
, sp_noalg
10. 有限体に関する演算
10.1 有限体の表現および演算
10.2 有限体上での 1 変数多項式の演算
10.3 小標数有限体上での多項式の演算
10.4 有限体上の楕円曲線に関する演算
10.5 有限体に関する函数のまとめ
10.5.1 setmod_ff
10.5.2 field_type_ff
10.5.3 field_order_ff
10.5.4 characteristic_ff
10.5.5 extdeg_ff
10.5.6 simp_ff
10.5.7 random_ff
10.5.8 lmptop
10.5.9 ntogf2n
10.5.10 gf2nton
10.5.11 ptogf2n
10.5.12 gf2ntop
10.5.13 ptosfp
, sfptop
10.5.14 defpoly_mod2
10.5.15 sffctr
10.5.16 fctr_ff
10.5.17 irredcheck_ff
10.5.18 randpoly_ff
10.5.19 ecm_add_ff
, ecm_sub_ff
, ecm_chsgn_ff
A. 付録
A.1 文法の詳細
A.2 添付のユーザ定義函数ファイル
A.3 入力インタフェース
A.3.1 fep
A.3.2 asir.el
A.4 ライブラリインタフェース
A.5 変更点
A.5.1 Version 990831
A.5.2 Version 950831
A.5.2.1 デバッガ
A.5.2.2 組み込み函数
A.5.2.3 グレブナ基底
A.5.2.4 その他
A.5.3 Version 940420
A.6 文献
索引
This document was generated
by root on March, 5 2004
using texi2html