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 grwalk_lib Groebner walk and Fraktal walk D.4.4 homolog_lib procedures for homological algebra D.4.5 intprog_lib Integer Programming D.4.6 mprimdec_lib procedures for primary decomposition of modules D.4.7 mregular_lib procedures for Castelnuovo-Mumford regularity D.4.8 normal_lib procedure for normalization D.4.9 primdec_lib procedures for primary decomposition D.4.10 primitiv_lib procedures for finding a primitive element D.4.11 reesclos_lib Rees Algebra and integral closure of an ideal D.4.12 resol_lib Resolution of Singularities D.4.13 sheafcoh_lib Procedures for Computing Sheaf Cohomology D.4.14 toric_lib toric ideals D.4.15 zeta_lib Applications of Resolution of Singularities