GZERODIM? _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

gzerodim!?(<basis>)

where <bas> is a Groebner basis in the current term order with the actual setting (see ideal parameters).

gzerodim!?tests whether the ideal spanned by the given basis has dimension zero. If yes, the number of zeros is returned, nil otherwise.