remove ill-defined get_int, get_repr functions in rings.

These were not being used anywhere in any case.