arguments: R:Ring a:RingElement b:RingElement >> RingElement
Yields the element a/b in the fraction field R, if R is the fraction field of the rings of a and b. If not, an error is returned.
