### 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, rashed@mathematik.uni-kl.de; sh.shawki@yahoo.de

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

User manual for Singular version 4.4.1, 2025, generated by texi2html.