doctests for graded_ring