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