D.4.1 absfact_lib absolute factorization for characteristic 0 D.4.2 algebra_lib procedures for computing with algebras and maps D.4.3 elim_lib procedures for elimination, saturation and blowing up D.4.4 grwalk_lib Groebner walk and Fraktal walk D.4.5 homolog_lib procedures for homological algebra D.4.6 intprog_lib Integer Programming D.4.7 mprimdec_lib procedures for primary decomposition of modules D.4.8 mregular_lib procedures for Castelnuovo-Mumford regularity D.4.9 normal_lib procedure for normalization D.4.10 primdec_lib procedures for primary decomposition D.4.11 primitiv_lib procedures for finding a primitive element D.4.12 reesclos_lib Rees Algebra and integral closure of an ideal D.4.13 resolve_lib Resolution of Singularities D.4.14 reszeta_lib Applications of Resolution of Singularities D.4.15 sheafcoh_lib Procedures for Computing Sheaf Cohomology D.4.16 toric_lib toric ideals