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

def dmp_pexquo ( f , g , u , K ) : ( q , r ) = dmp_pdiv ( f , g , u , K ) if dmp_zero_p ( r , u ) : return q else : raise ExactQuotientFailed ( f , g )
polynomial pseudo-quotient in k[x] .