| 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 |
Online Manual
