Home Online Manual
Top
Back: idealSplit
Forward: laguerre_solve
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.4 solve_lib

Library:
solve.lib
Purpose:
Complex Solving of Polynomial Systems
Author:
Moritz Wenk, email: [email protected]
Wilfred Pohl, email: [email protected]

Procedures:

D.8.4.1 laguerre_solve  find all roots of univariate polynomial p
D.8.4.2 solve  all roots of 0-dim. ideal i using triangular sets
D.8.4.3 ures_solve  find all roots of 0-dimensional ideal i with resultants
D.8.4.4 mp_res_mat  multipolynomial resultant matrix of ideal i
D.8.4.5 interpolate  interpolate polynomial from evaluation points i and results j
D.8.4.6 fglm_solve  find roots of 0-dim. ideal using FGLM and lex_solve
D.8.4.7 lex_solve  find roots of reduced lexicographic standard basis
D.8.4.8 simplexOut  prints solution of simplex in nice format
D.8.4.9 triangLf_solve  find roots using triangular sys. (factorizing Lazard)
D.8.4.10 triangM_solve  find roots of given triangular system (Moeller)
D.8.4.11 triangL_solve  find roots using triangular system (Lazard)
D.8.4.12 triang_solve  find roots of given triangular system