D.5.1 numerAlg_lib

Todos/Issues:

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

Library:

NumerAlg.lib

Purpose:

Numerical Algebraic Algorithm

Overview:

The library contains procedures to
test the inclusion, the equality of two ideals defined by polynomial systems, compute the degree of a pure i-dimensional component of an algebraic variety defined by a polynomial system,
compute the local dimension of an algebraic variety defined by a polynomial system at a point computed as an approximate value. 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.1.1 Incl		test if I containes J
D.5.1.2 Equal		test if I equals to J
D.5.1.3 Degree		computes the degree of a pure i-dimensional
D.5.1.4 NumLocalDim		numerical local dimension at a point computed as an approximate value