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 ---