(F, *gens, **args)
return GroebnerBasis(F, *gens, **args).is_zero_dimensional
Checks if the ideal generated by a Groebner basis is zero-dimensional.

    The algorithm checks if the set of monomials not divisible by the
    leading monomial of any element of ``F`` is bounded.

    References
    ==========

    David A. Cox, John B. Little, Donal O'Shea. Ideals, Varieties and
    Algorithms, 3rd edition, p. 230
Checks if the ideal generated by a Groebner basis is zero-dimensional.
Checks if the ideal generated by a Groebner basis is zero - dimensional .
def is_zero_dimensional(F, *gens, **args):
    """
    Checks if the ideal generated by a Groebner basis is zero-dimensional.

    The algorithm checks if the set of monomials not divisible by the
    leading monomial of any element of ``F`` is bounded.

    References
    ==========

    David A. Cox, John B. Little, Donal O'Shea. Ideals, Varieties and
    Algorithms, 3rd edition, p. 230

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