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 INT_EXT 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
finitefield.sa -has finitefield.sa FINITE_FIELD
sl2p.sa -has sl2p.sa SL2P MAT2P
MAT2P_ALG SL2P_CNJ_CLS MAT2 MAT2_F2 MAT2_PSL
-- 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 POLYS_FP
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 ---