Extensions to `ring.el'