D.2.1 all_lib load all other libraries D.2.2 general_lib procedures of general type D.2.3 inout_lib procedures for manipulating in- and output D.2.4 poly_lib procedures for manipulating polynomials and ideals D.2.5 random_lib procedures of random/sparse matrix and poly operations D.2.6 ring_lib procedures for manipulating rings and maps