arguments: a:ringelem b:ringelem >> d:ringelem m:ringelem
Find d = a/b and m = (a mod b) in the ring of a, b, if division is defined over this ring.
