(f)
return f.convert(f.dom.get_field())
Make the ground domain a field.
Make the ground domain a field.
Make the ground domain a field .
def to_field(f):
        """Make the ground domain a field. """
        return f.convert(f.dom.get_field())
def to_field ( f ) : return f . convert ( f . dom . get_field ( ) )