Home Online Manual
Back: stratify
Forward: ffsolve_lib
FastBack: Invariant theory
FastForward: Visualization
Up: SINGULAR libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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