### D.5.9 numerDecom_lib

Todos/Issues:

- does not follow the naming convention
- syntax errors in examples
- no test suite

Library:
  NumDecom.lib
Purpose:
  Numerical Decomposition of Ideals
Overview:
  The library contains procedures to compute
  numerical irreducible decomposition, and
  numerical primary decomposition of an algebraic variety defined by a polynomial system. The use of the library requires to install Bertini (@uref{http://www.nd.edu/~sommese/bertini}).

Author:
  Shawki AlRashed, rashed@mathematik.uni-kl.de; sh.shawki@yahoo.de

Procedures:

> D.5.9.1 re2squ |  | reduction to square system
> D.5.9.2 UseBertini |  | use Bertini to compute the solutions of the homotopy function
> D.5.9.3 Singular2bertini |  | adopt the list to be a read file in Bertini as a start solution set
> D.5.9.4 bertini2Singular |  | adopt the file of solutions of the homotopy function to be a list in SINGULAR
> D.5.9.5 ReJunkUseHomo |  | remove junk points using the homotopy function
> D.5.9.6 JuReTopDim |  | remove junk points that are on top-dimensional component
> D.5.9.7 JuReZeroDim |  | remove junk points from 0-dimensional component
> D.5.9.8 WitSupSet |  | witness point super set
> D.5.9.9 WitSet |  | witness point set
> D.5.9.10 NumIrrDecom |  | numerical irreducible decomposition
> D.5.9.11 defl |  | deflation of ideal I
> D.5.9.12 NumPrimDecom |  | numerical primary decomposition

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