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.14 groebnerwalk_lib Groebner walk 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 resol_lib Resolution of singularities D.4.11 intprog_lib Integer Programming D.4.12 toric_lib toric ideals D.4.13 zeta_lib Applications of resolution of singularities