local_lib.module
--
-- local libraly
-- math extensions, polynomial, matrix.
--
---- generic
date.sa -has date.sa DATE CDATE TIME_MEASURE
-external DATE date.c
-end
---- math extension ----
math_ext.sa -has math_ext.sa VEC_ALG INTI_EXT ARRAY_EXT ARRAY_SORT
gcd.sa -has gcd.sa PID_GCD
bitset.sa -has bitset.sa BITSET
gauss_int.sa -has gauss_int.sa GAUSS_INTI
-- group, word
word.sa -has word.sa WORD
braid.sa -has braid.sa BRAID BRAID_REDUCTION ARTIN_FORM
permutation.sa -has permutation.sa PERM
PERM_STREAM YANG_STREAM PERM_Y_STREAM PERM_NR_STREAM COMBI_NR_STREAM
stringsk.sa -has stringsk.sa STRINGSK
---- polynomial ----
polyhelp.sa -has polyhelp.sa POLY_WRITE POLY_COEFF
-- 1-variable polynomial
polys.sa -has polys.sa POLYS FACTORIZATION_ALG
POLYS_INTI POLYS_GAUSS_INTI
POLYS_RAT POLYS_FLTD
factorization.sa -has factorization.sa FACTORIZATION_ALG
gbases.sa -has gbases.sa GBASES_INTI_ALG GBASES_INTI_L_ALG
GBASES_INTI GBASES_INTI_L
-- multi-variable polynomial
polym.sa -has polym.sa POLYM VARNAME MONOMIAL
POLYM_INTI POLYM_RAT
gbasem.sa -has gbasem.sa GBASE_RAT GBASE_FLTD GBASE_ZP
GBASE_INTI GBASE_INTI_L
GBASEI GBASE
---- matrix ----
matrix.sa -has matrix.sa MAT_RING DET_PRIMITIVE_ALG
MAT_PID MAT_PID_DET MAT_FIELD
MAT_FLTD MAT_INTI MAT_RAT
poly_mat.sa -has poly_mat.sa MAT_POLYS_INTI MAT_POLYS_INTI_REDUCTION
polym_mat.sa -has polym_mat.sa MAT_POLYM_INTI MAT_POLYM_INTI_REDUCTION
--- end ---