### D.8.4 solve_lib

Library:
  solve.lib
Purpose:
  Complex Solving of Polynomial Systems
Author:
  Moritz Wenk, email: wenk@mathematik.uni-kl.de
  Wilfred Pohl, email: pohl@mathematik.uni-kl.de

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

User manual for Singular version 4.4.1, 2025, generated by texi2html.