### D.5.2 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 (http://www.nd.edu/~sommese/bertini).

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

Procedures:

> D.5.2.1 re2squ |  | reduction to square system
> D.5.2.2 UseBertini |  | use Bertini to compute the solutions of the homotopy function
> D.5.2.3 Singular2bertini |  | adopt the list to be a read file in Bertini as a start solution set
> D.5.2.4 bertini2Singular |  | adopt the file of solutions of the homotopy function to be a list in SINGULAR
> D.5.2.5 ReJunkUseHomo |  | remove junk points using the homotopy function
> D.5.2.6 JuReTopDim |  | remove junk points that are on top-dimensional component
> D.5.2.7 JuReZeroDim |  | remove junk points from 0-dimensional component
> D.5.2.8 WitSupSet |  | witness point super set
> D.5.2.9 WitSet |  | witness point set
> D.5.2.10 NumIrrDecom |  | numerical irreducible decomposition
> D.5.2.11 defl |  | deflation of ideal I
> D.5.2.12 NumPrimDecom |  | numerical primary decomposition

User manual for Singular version 4-0-3, 2016, generated by texi2html.