(f)
return f.set_domain(f.dom.get_exact())
Make the ground domain exact.
Make the ground domain exact.
Make the ground domain exact .
def ground_to_exact(f):
        """Make the ground domain exact. """
        return f.set_domain(f.dom.get_exact())
def ground_to_exact ( f ) : return f . set_domain ( f . dom . get_exact ( ) )