Go backward to `desing/iscontained` Go up to Procedures Go forward to `desing/isemptyS`

`desing/isempty`

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.