(f)
return not f.rep or len(f.rep) == 1
Returns ``True`` if ``f`` is an element of the ground domain.
Returns ``True`` if ``f`` is an element of the ground domain.
Returns True if f is an element of the ground domain .
def is_ground(f):
        """Returns ``True`` if ``f`` is an element of the ground domain. """
        return not f.rep or len(f.rep) == 1
def is_ground ( f ) : return not f . rep or len ( f . rep ) == 1