propfrac(A/B) or propFrac(A/B) returns
if A/B=a/b with gcd(a,b)=1 and a=bq+r. For rational fractions, cf. 5.29.8. Input :
Output :
Input :