D.8.1 presolve_lib procedures for pre-solving polynomial equations D.8.2 solve_lib procedures to solve polynomial systems D.8.3 triang_lib procedures for decomposing zero-dimensional ideals D.8.4 ntsolve_lib one real solution of polynomial systems (Newton iteration) D.8.5 zeroset_lib procedures for roots and factorization D.8.6 signcond_lib computing realizable sign conditions