D.2.1 all_lib load all other libraries D.2.2 compregb_lib comprehensive Groebner base system D.2.3 general_lib procedures of general type D.2.4 grobcov_lib Groebner Cover for parametric ideals D.2.5 inout_lib procedures for manipulating in- and output D.2.6 poly_lib procedures for manipulating polynomials and ideals D.2.7 random_lib procedures of random/sparse matrix and polynomial operations D.2.8 ring_lib procedures for manipulating rings and maps