D.8 Symbolic-numerical solving

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