normed_ring source