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

Procedures:

D.5.8.1 Incl		test if I contains J
D.5.8.2 Equal		test if I equals to J
D.5.8.3 DegreePure		computes the degree of a pure i-dimensional
D.5.8.4 NumLocalDim		numerical local dimension at a point computed as an approximate value