Table of Contents
- 1 Introduction
- 2 Risa/Asir
- 3 Data types
- 4 User language Asir
- 5 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
setbprec, setprec
- 6.1.16
setround
- 6.1.17
setmod
- 6.1.18
ntoint32, int32ton
- 6.1.19
inttorat
- 6.2 Bit operations
- 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.6 Arrays
- 6.6.1
newvect, vector, vect
- 6.6.2
ltov
- 6.6.3
vtol
- 6.6.4
newbytearray
- 6.6.5
newmat, matrix
- 6.6.6
mat, matr, matc
- 6.6.7
size
- 6.6.8
det, nd_det, invmat
- 6.6.9
qsort
- 6.6.10
rowx, rowm, rowa, colx, colm, cola
- 6.7 Structures
- 6.8 Types
- 6.9 Operations on functions
- 6.10 Strings
- 6.11 Inputs and Outputs
- 6.12 Operations for modules
- 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
- 7 Distributed computation
- 7.1 OpenXM
- 7.2 Mathcap
- 7.3 Stackmachine commands
- 7.4 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 Fundamental functions
- 8.3 Controlling Groebner basis computations
- 8.4 Setting term orderings
- 8.5 Weight
- 8.6 Groebner basis computation with rational function coefficients
- 8.7 Change of orderng
- 8.8 Weyl algebra
- 8.9 Module over a polynomial ring
- 8.10 Functions for Groebner basis computation
- 8.10.1
gr, hgr, gr_mod, dgr
- 8.10.2
lex_hensel, lex_tl, tolex, tolex_d, tolex_tl
- 8.10.3
lex_hensel_gsl, tolex_gsl, tolex_gsl_d
- 8.10.4
gr_minipoly, minipoly
- 8.10.5
tolexm, minipolym
- 8.10.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.10.7
dp_f4_main, dp_f4_mod_main, dp_weyl_f4_main, dp_weyl_f4_mod_main
- 8.10.8
nd_gr, nd_gr_trace, nd_f4, nd_f4_trace, nd_weyl_gr, nd_weyl_gr_trace
- 8.10.9
nd_gr_postproc, nd_weyl_gr_postproc
- 8.10.10
dp_gr_flags, dp_gr_print
- 8.10.11
dp_ord
- 8.10.12
dp_set_weight, dp_set_top_weight, dp_weyl_set_weight
- 8.10.13
dp_ptod
- 8.10.14
dpm_dptodpm
- 8.10.15
dpm_ltod
- 8.10.16
dpm_dtol
- 8.10.17
dp_dtop
- 8.10.18
dp_mod, dp_rat
- 8.10.19
dp_homo, dp_dehomo
- 8.10.20
dp_ptozp, dp_prim
- 8.10.21
dp_nf, dp_nf_mod, dp_true_nf, dp_true_nf_mod, dp_weyl_nf, dp_weyl_nf_mod
- 8.10.22
dpm_nf, dpm_nf_and_quotient
- 8.10.23
dp_hm, dp_ht, dp_hc, dp_rest
- 8.10.24
dpm_hm, dpm_ht, dpm_hc, dpm_hp, dpm_rest
- 8.10.25
dp_td, dp_sugar
- 8.10.26
dp_lcm
- 8.10.27
dp_redble
- 8.10.28
dpm_redble
- 8.10.29
dp_subd
- 8.10.30
dp_vtoe, dp_etov
- 8.10.31
dp_mbase
- 8.10.32
dp_mag
- 8.10.33
dp_red, dp_red_mod
- 8.10.34
dp_sp, dp_sp_mod
- 8.10.35
dpm_sp
- 8.10.36
dpm_schreyer_base
- 8.10.37
dpm_schreyer_frame
- 8.10.38
dpm_set_schreyer_level
- 8.10.39
dpm_sp_nf
- 8.10.40
p_nf, p_nf_mod, p_true_nf, p_true_nf_mod
- 8.10.41
p_terms
- 8.10.42
gb_comp
- 8.10.43
katsura, hkatsura, cyclic, hcyclic
- 8.10.44
primadec, primedec
- 8.10.45
primedec_mod
- 8.10.46
bfunction, bfct, generic_bfct, ann, ann0
- 9 Algebraic numbers
- 10 Finite fields
- Appendix A Appendix
- Index
This document was generated on October 28, 2025 using texi2html 5.0.