Asir

Asir User's Manual

Edition 4.5 for Asir-20010313

March 2001

• Introduction
  • Organization of the Manual
  • Notation
  • How to get Risa/Asir
• Risa/Asir
  • Risa and Asir
  • Features of Asir
  • Installation
    • UNIX binary version
    • UNIX source code version
    • Windows version
  • Command line options
  • Environment variable
  • Starting and Terminating an Asir session
  • Interruption
  • Error handling
  • Referencing results and special numbers
• Data types
  • Types in Asir
  • Types of numbers
  • Types of indeterminates
• User language Asir
  • Syntax -- Difference from C language
  • Writing user defined functions
    • User defined functions
    • variables and indeterminates
    • parameters and arguments
    • comments
    • statements
    • return statement
    • if statement
    • loop, break, return, continue
    • structure definition
    • various expressions
    • preprocessor
    • option
• Debugger
  • What is Debugger
  • Debugger commands
  • Execution example of debugger
  • Sample file of initialization file for Debugger
• Built-in Function
  • Numbers
    • idiv, irem
    • fac
    • igcd,igcdcntl
    • ilcm
    • inv
    • prime, lprime
    • random
    • lrandom
    • mt_save, mt_load
    • nm, dn
    • conj, real, imag
    • eval, deval
    • pari
    • setprec
    • setmod
    • ntoint32, int32ton
  • Bit operations
    • iand, ior, ixor
    • ishift
  • operations with polynomials and rational expressions
    • var
    • vars
    • uc
    • coef
    • deg, mindeg
    • nmono
    • ord
    • sdiv, sdivm, srem, sremm, sqr, sqrm
    • tdiv
    • %
    • subst, psubst
    • diff
    • res
    • fctr, sqfr
    • ufctrhint
    • modfctr
    • ptozp
    • prim, cont
    • gcd, gcdz
    • red
  • Univariate polynomials
    • 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
  • Lists
    • car, cdr, cons, append, reverse, length
  • Arrays
    • newvect
    • vtol
    • newbytearray
    • newmat
    • size
    • det
    • qsort
  • Structures
    • newstruct
    • arfreg
  • Types
    • type
    • ntype
    • vtype
  • Operations on functions
    • functor, args, funargs
  • Strings
    • rtostr
    • strtov
    • eval_str
    • strtoascii, asciitostr
    • str_len, str_chr, sub_str
  • Inputs and Outputs
    • end, quit
    • load
    • which
    • output
    • bsave, bload
    • bload27
    • print
    • open_file, close_file, get_line, get_byte, put_byte, purge_stdin
  • Miscellaneouses
    • ctrl
    • debug
    • error
    • help
    • time
    • cputime, tstart, tstop
    • heap
    • version
    • shell
    • map
    • flist
    • delete_history
    • get_rootdir
    • getopt
    • getenv
• Distributed computation
  • OpenXM
  • Mathcap
  • Stackmachine commands
  • Debugging
    • Error object
    • Resetting a server
    • Pop-up command window for debugging
  • Functions for distributed computation
    • 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, plotover
    • open_canvas, clear_canvas, draw_obj
• Groebner basis computation
  • Distributed polynomial
  • Reading files
  • Fundamental functions
  • Controlling Groebner basis computations
  • Setting term orderings
  • Groebner basis computation with rational function coefficients
  • Change of orderng
  • Functions for Groebner basis computation
    • 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_f4_main, dp_f4_mod_main
    • 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
• Algebraic numbers
  • Representation of algebraic numbers
  • Operations over algebraic numbers
  • Operations for uni-variate polynomials over an algebraic number field
    • GCD
    • Square-free factorization and Factorization
    • Splitting fields
  • Summary of functions for algebraic numbers
    • newalg
    • defpoly
    • alg
    • algv
    • simpalg
    • algptorat
    • rattoalgp
    • cr_gcda
    • sp_norm
    • asq, af, af_noalg
    • sp, sp_noalg
• Finite fields
  • Representation of finite fields
  • Univariate polynomials on finite fields
  • Elliptic curves on finite fields
  • Functions for Finite fields
    • setmod_ff
    • field_type_ff
    • field_order_ff
    • characteristic_ff
    • extdeg_ff
    • simp_ff
    • random_ff
    • lmptop
    • ntogf2n
    • gf2nton
    • ptogf2n
    • gf2ntop
    • defpoly_mod2
    • fctr_ff
    • irredcheck_ff
    • randpoly_ff
    • ecm_add_ff, ecm_sub_ff, ecm_chsgn_ff
• Appendix
  • Details of syntax
  • Files of user defined functions
  • Input interfaces
    • fep
    • asir.el
  • Library interfaces
  • Appendix
    • Version 990831
    • Version 950831
      • Debugger
      • Built-in functions
      • Groebner basis computation
      • Others
    • Version 940420
  • References
• Index

This document was generated on 15 March 2001 using the texi2html translator version 1.52.