D.4.1 algebra_lib procedures for computing with algebras and maps D.4.2 elim_lib procedures for elimination, saturation and blowing up D.4.3 homolog_lib procedures for homological algebra D.4.4 mprimdec_lib procedures for primary decomposition of modules D.4.5 mregular_lib procedures for Castelnuovo-Mumford regularity D.4.6 normal_lib procedure for normalization D.4.7 primdec_lib procedures for primary decomposition D.4.8 primitiv_lib procedures for finding a primitive element D.4.9 reesclos_lib Rees Algebra and integral closure of an ideal D.4.10 intprog_lib Integer Programming D.4.11 toric_lib toric ideals