D.7.1 presolve_lib procedures for pre-solving polynomial equations D.7.2 solve_lib procedures to solve polynomial systems D.7.3 triang_lib procedures for decomposing zero-dimensional ideals D.7.4 ntsolve_lib one real solution of polynomial systems (Newton iteration) D.7.5 zeroset_lib procedures for roots and factorization D.7.6 rootsmr_lib counting the number of real roots D.7.8 rootsur_lib counting number of real roots of univariate polynomial D.7.7 signcond_lib computing realizable sign conditions