(f)
return f.convert(f.dom.get_exact())
Make the ground domain exact.
Make the ground domain exact.
Make the ground domain exact .
def to_exact(f):
        """Make the ground domain exact. """
        return f.convert(f.dom.get_exact())
def to_exact ( f ) : return f . convert ( f . dom . get_exact ( ) )