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