Singular

Is Singular capable of computing the minimal polynomial of an element in a quotient algebra?

More specifically (but not entirely syntactically correct)
R = 0, x(1..4), dp;
f0, f1, f2, f3 are polynomials in R
ideal I = f0, f1, f2, f3;
we wish to find the minimal polynomial of x(1) in R / I

Thanks!

algebraicDependence of sagbi.lib may help,
see
https://www.singular.uni-kl.de/Manual/4-1-3/sing_1444.htm.
and https://www.singular.uni-kl.de/Manual/4-1-3/sing_770.htm

Thank you, I will look at the links you wrote.

I know Magma and CoCoA have such a command and I just thought Singular would have one as well.