Go backward to `desing/intersect`Go up to ProceduresGo forward to `desing/iscontained` |

Computing the inverse of an invertible element in a ring.

**Input:**-
**f**- a polynomial from
*k[S]*(a representative of an element of*k[S]/<DEP>*), **DEP**- a list of polynomials from
*k[S]*, **S**- a list of variables.

**Output:**- a polynomial from
*k[S]*, the inverse of`f`in*k[S]/<DEP>*.