Asir

Asir User's Manual

Asir-20030424 (Kobe Distribution)

April 2003

• Introduction
  • マニュアルの構成
  • Notation
  • 入手方法
• Risa/Asir
  • Risa および Asir
  • Asir の特徴
  • Installation
    • UNIX binary version
    • UNIX source code version
    • Windows version
  • コマンドラインオプション
  • 環境変数
  • 起動から終了まで
  • 割り込み
  • エラー処理
  • 計算結果, 特殊な数
• 型
  • Asir で使用可能な型
  • 数の型
  • 不定元の型
• ユーザ言語 Asir
  • 文法 (C 言語との違い)
  • ユーザ定義函数の書き方
    • ユーザ定義函数
    • 変数および不定元
    • 引数
    • コメント
    • 文
    • return 文
    • if 文
    • ループ, break, return, continue
    • 構造体定義
    • さまざまな式
    • プリプロセッサ
    • オプション指定
    • モジュール
• デバッガ
  • デバッガとは
  • コマンドの解説
  • デバッガの使用例
  • デバッガの初期化ファイルの例
• 組み込み函数
  • 数の演算
    • idiv, irem
    • fac
    • igcd,igcdcntl
    • ilcm
    • isqrt
    • inv
    • prime, lprime
    • random
    • lrandom
    • mt_save, mt_load
    • nm, dn
    • conj, real, imag
    • eval, deval
    • pari
    • setprec
    • setmod
    • ntoint32, int32ton
  • bit 演算
    • iand, ior, ixor
    • ishift
  • 多項式, 有理式の演算
    • var
    • vars
    • uc
    • coef
    • deg, mindeg
    • nmono
    • ord
    • sdiv, sdivm, srem, sremm, sqr, sqrm
    • tdiv
    • %
    • subst, psubst
    • diff
    • ediff
    • res
    • fctr, sqfr
    • ufctrhint
    • modfctr
    • ptozp
    • prim, cont
    • gcd, gcdz
    • red
  • 一変数多項式の演算
    • umul, umul_ff, usquare, usquare_ff, utmul, utmul_ff
    • kmul, ksquare, ktmul
    • set_upkara, set_uptkara, set_upfft
    • utrunc, udecomp, ureverse
    • uinv_as_power_series, ureverse_inv_as_power_series
    • udiv, urem, urembymul, urembymul_precomp, ugcd
  • リストの演算
    • car, cdr, cons, append, reverse, length
  • 配列
    • newvect, vector, vect
    • ltov
    • vtol
    • newbytearray
    • newmat, matrix
    • mat, matr, matc
    • size
    • det, nd_det, invmat
    • qsort
    • rowx, rowm, rowa, colx, colm, cola
  • 構造体
    • newstruct
    • arfreg
    • struct_type
  • 型を求める函数
    • type
    • ntype
    • vtype
  • 函数に対する操作
    • call
    • functor, args, funargs
  • 文字列に関する演算
    • rtostr
    • strtov
    • eval_str
    • strtoascii, asciitostr
    • str_len, str_chr, sub_str
  • 入出力
    • end, quit
    • load
    • which
    • output
    • bsave, bload
    • bload27
    • print
    • access
    • remove_file
    • open_file, close_file, get_line, get_byte, put_byte, purge_stdin
  • モジュールに対する操作
    • module_list
    • module_definedp
    • remove_module
  • 数値函数
    • dacos, dasin, datan, dcos, dsin, dtan
    • dabs, dexp, dlog, dsqrt
    • ceil, floor, rint, dceil, dfloor, drint
  • その他
    • ctrl
    • debug
    • error
    • help
    • time
    • cputime, tstart, tstop
    • timer
    • currenttime
    • sleep
    • heap
    • version
    • shell
    • map
    • flist
    • delete_history
    • get_rootdir
    • getopt
    • getenv
• 分散計算
  • OpenXM
  • Mathcap
  • スタックマシンコマンド
  • デバッグ
    • エラーオブジェクト
    • リセット
    • デバッグ用ポップアップウィンドウ
  • 分散計算に関する関数
    • ox_launch, ox_launch_nox, ox_shutdown
    • ox_launch_generic
    • generate_port, try_bind_listen, try_connect, try_accept, register_server
    • `ox_asir'
    • ox_rpc, ox_cmo_rpc, ox_execute_string
    • ox_reset,ox_intr,register_handler
    • ox_push_cmo, ox_push_local
    • ox_pop_cmo, ox_pop_local
    • ox_push_cmd, ox_sync
    • ox_get
    • ox_pops
    • ox_select
    • ox_flush
    • ox_get_serverinfo
    • ifplot, conplot, plot, polarplot, plotover
    • open_canvas, clear_canvas, draw_obj, draw_string
• グレブナ基底の計算
  • 分散表現多項式
  • ファイルの読み込み
  • 基本的な函数
  • 計算および表示の制御
  • 項順序の設定
  • Weight
  • 有理式を係数とするグレブナ基底計算
  • 基底変換
  • Weyl 代数
  • グレブナ基底に関する函数
    • gr, hgr, gr_mod, dgr
    • lex_hensel, lex_tl, tolex, tolex_d, tolex_tl
    • lex_hensel_gsl, tolex_gsl, tolex_gsl_d
    • gr_minipoly, minipoly
    • tolexm, minipolym
    • 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
    • dp_f4_main, dp_f4_mod_main, dp_weyl_f4_main, dp_weyl_f4_mod_main
    • nd_gr, nd_gr_trace, nd_f4, nd_f4_trace, nd_weyl_gr, nd_weyl_gr_trace
    • dp_gr_flags, dp_gr_print
    • dp_ord
    • dp_ptod
    • dp_dtop
    • dp_mod, dp_rat
    • dp_homo, dp_dehomo
    • dp_ptozp, dp_prim
    • dp_nf, dp_nf_mod, dp_true_nf, dp_true_nf_mod
    • dp_hm, dp_ht, dp_hc, dp_rest
    • dp_td, dp_sugar
    • dp_lcm
    • dp_redble
    • dp_subd
    • dp_vtoe, dp_etov
    • dp_mbase
    • dp_mag
    • dp_red, dp_red_mod
    • dp_sp, dp_sp_mod
    • p_nf, p_nf_mod, p_true_nf, p_true_nf_mod
    • p_terms
    • gb_comp
    • katsura, hkatsura, cyclic, hcyclic
    • primadec, primedec
    • primedec_mod
    • bfunction, bfct, generic_bfct, ann, ann0
• 代数的数に関する演算
  • 代数的数の表現
  • 代数的数の演算
  • 分散多項式による代数的数の表現
  • 代数体上での 1 変数多項式の演算
    • GCD
    • 無平方分解, 因数分解
    • 最小分解体
  • 代数的数に関する函数のまとめ
    • newalg
    • defpoly
    • alg
    • algv
    • simpalg
    • algptorat
    • rattoalgp
    • cr_gcda
    • sp_norm
    • asq, af, af_noalg
    • sp, sp_noalg
    • set_field
    • algtodalg, dalgtoalg, dptodalg, dalgtodp
• 有限体に関する演算
  • 有限体の表現および演算
  • 有限体上での 1 変数多項式の演算
  • 小標数有限体上での多項式の演算
  • 有限体上の楕円曲線に関する演算
  • 有限体に関する函数のまとめ
    • setmod_ff
    • field_type_ff
    • field_order_ff
    • characteristic_ff
    • extdeg_ff
    • simp_ff
    • random_ff
    • lmptop
    • ntogf2n
    • gf2nton
    • ptogf2n
    • gf2ntop
    • ptosfp, sfptop
    • defpoly_mod2
    • sffctr
    • fctr_ff
    • irredcheck_ff
    • randpoly_ff
    • ecm_add_ff, ecm_sub_ff, ecm_chsgn_ff
• 付録
  • 文法の詳細
  • 添付のユーザ定義函数ファイル
  • 入力インタフェース
    • fep
    • asir.el
  • ライブラリインタフェース
  • 変更点
    • Version 990831
    • Version 950831
      • デバッガ
      • 組み込み函数
      • グレブナ基底
      • その他
    • Version 940420
  • 文献
• 索引

This document was generated on 25 March 2009 using texi2html 1.56k.