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