D.7 Symbolic-numerical solving

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