Go backward to `desing/isempty` Go up to Procedures Go forward to `desing/isnc`

`desing/isemptyS`

A compromising "speedup" solution for testing whether a list of polynomials has nonempty common zero set.

Input:

the same as of `desing/isempty`.

Output:

false if the common zero set is not empty, true if the complete emptiness test is required.