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 inout_lib procedures for manipulating in- and output D.2.5 poly_lib procedures for manipulating polynomials and ideals D.2.6 random_lib procedures of random/sparse matrix and polynomial operations D.2.7 redcgs_lib procedures for reduced comprehesive Groebner systems D.2.8 ring_lib procedures for manipulating rings and maps