rdivf - right symbolic division
returns the string "c/d" Trivial simplifications such as "c/1" = "c" are performed.
ldivf('c','d') ldivf('1','2') ldivf('a','0')