Singular

Hello all:

Is there a Singular function (or any algorithm whatsoever) that, given a finite set of algebraically dependent multivariate polynomials f_1,...,f_k
(over the rationals, say), computes an irreducible annihilating
polynomial for that set, that is, a nonzero irreducible polynomial P
(with rational coefficients) such that P(f_1,...,f_k) = 0? I
searched the Singular documentation on this topic but didn't find anything.

Cheers,
Alex

Yes, there are 3 procedures in algebra.lib

algebra_containment
inSubring
algDependent

testing algebraic dependence by different algoruthms.