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, [email protected]; [email protected]

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