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

Testing whether a list of polynomials generate the ideal
*<1>*.

**Input:**-
**F**- a list of polynomials from
*k[S]*(representatives of the generators of an ideal in*k[S]/<DEP>*), **DEP**- a list of polynomials from
*k[S]*, **S**- a list of variables.

**Output:**- true iff
*<F>*contains 1.