local_lib.module
--
-- local libraly
-- math extensions, polynomial, matrix.
--
---- math extension ----
math_ext.sa -has math_ext.sa VEC_ALG PERMUTATION INTI_EXT ARRAY_EXT
gcd.sa -has gcd.sa PID_GCD
bitset.sa -has bitset.sa BITSET
-- gauss integer
gauss_int.sa -has gauss_int.sa GAUSS_INTI
-- group word
word.sa -has word.sa WORD
---- 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
-- 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
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 poly_mat.sa MAT_POLYM_INTI MAT_POLYM_INTI_REDUCTION
--- end ---