Table of Contents
1. Introduction
1.1 Organization of the Manual
1.2 Notation
1.3 How to get Risa/Asir
2. Risa/Asir
2.1 Risa and Asir
2.2 Features of Asir
2.3 Installation
2.3.1 UNIX binary version
2.3.2 UNIX source code version
2.3.3 Windows version
2.4 Command line options
2.5 Environment variable
2.6 Starting and Terminating an Asir session
2.7 Interruption
2.8 Error handling
2.9 Referencing results and special numbers
3. Data types
3.1 Types in Asir
3.2 Types of numbers
3.3 Types of indeterminates
4. User language Asir
4.1 Syntax -- Difference from C language
4.2 Writing user defined functions
4.2.1 User defined functions
4.2.2 variables and indeterminates
4.2.3 parameters and arguments
4.2.4 comments
4.2.5 statements
4.2.6 return
statement
4.2.7 if
statement
4.2.8 loop
, break
, return
, continue
4.2.9 structure definition
4.2.10 various expressions
4.2.11 preprocessor
4.2.12 option
4.2.13 module
5. Debugger
5.1 What is Debugger
5.2 Debugger commands
5.3 Execution example of debugger
5.4 Sample file of initialization file for Debugger
6. Built-in Function
6.1 Numbers
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 operations
6.2.1 iand
, ior
, ixor
6.2.2 ishift
6.3 operations with polynomials and rational expressions
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 Univariate polynomials
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 Lists
6.5.1 car
, cdr
, cons
, append
, reverse
, length
6.6 Arrays
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 Structures
6.7.1 newstruct
6.7.2 arfreg
6.7.3 struct_type
6.8 Types
6.8.1 type
6.8.2 ntype
6.8.3 vtype
6.9 Operations on functions
6.9.1 call
6.9.2 functor
, args
, funargs
6.10 Strings
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 Inputs and Outputs
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 Operations for modules
6.12.1 module_list
6.12.2 module_definedp
6.12.3 remove_module
6.13 Numerical functions
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 Miscellaneouses
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. Distributed computation
7.1 OpenXM
7.2 Mathcap
7.3 Stackmachine commands
7.4 Debugging
7.4.1 Error object
7.4.2 Resetting a server
7.4.3 Pop-up command window for debugging
7.5 Functions for distributed computation
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. Groebner basis computation
8.1 Distributed polynomial
8.2 Reading files
8.3 Fundamental functions
8.4 Controlling Groebner basis computations
8.5 Setting term orderings
8.6 Groebner basis computation with rational function coefficients
8.7 Change of orderng
8.8 Weyl algebra
8.9 Functions for Groebner basis computation
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. Algebraic numbers
9.1 Representation of algebraic numbers
9.2 Operations over algebraic numbers
9.3 Operations for uni-variate polynomials over an algebraic number field
9.3.1 GCD
9.3.2 Square-free factorization and Factorization
9.3.3 Splitting fields
9.4 Summary of functions for algebraic numbers
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. Finite fields
10.1 Representation of finite fields
10.2 Univariate polynomials on finite fields
10.3 Polynomials on small finite fields
10.4 Elliptic curves on finite fields
10.5 Functions for Finite fields
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. Appendix
A.1 Details of syntax
A.2 Files of user defined functions
A.3 Input interfaces
A.3.1 fep
A.3.2 asir.el
A.4 Library interfaces
A.5 Appendix
A.5.1 Version 990831
A.5.2 Version 950831
A.5.2.1 Debugger
A.5.2.2 Built-in functions
A.5.2.3 Groebner basis computation
A.5.2.4 Others
A.5.3 Version 940420
A.6 References
Index
This document was generated
by root on March, 5 2004
using texi2html