Go backward to
`desing/intersect`
Go up to
Procedures
Go forward to
`desing/iscontained`
`desing/inverse`
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>
.