def dmp_exquo(f, g, u, K):
 (q, r) = dmp_div(f, g, u, K)
 if dmp_zero_p(r, u):
  return q
 else:
  raise ExactQuotientFailed(f, g)

def dmp_exquo ( f , g , u , K ) : ( q , r ) = dmp_div ( f , g , u , K ) if dmp_zero_p ( r , u ) : return q else : raise ExactQuotientFailed ( f , g )
returns polynomial quotient in k[x] .