@public
def is_zero_dimensional(F, *gens, **args):
 return GroebnerBasis(F, *gens, **args).is_zero_dimensional

@ public def is_zero_dimensional ( F , * gens , ** args ) : return GroebnerBasis ( F , * gens , ** args ) . is_zero_dimensional
checks if the ideal generated by a groebner basis is zero-dimensional .