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}).