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