arguments: a:ringelem b:ringelem >> ringelem
Find a/b in the ring of a, b, if division is defined over this ring.
