(f)
return f.set_domain(f.dom.get_ring())
Make the ground domain a ring.
Make the ground domain a ring.
Make the ground domain a ring .
def ground_to_ring(f):
        """Make the ground domain a ring. """
        return f.set_domain(f.dom.get_ring())
def ground_to_ring ( f ) : return f . set_domain ( f . dom . get_ring ( ) )