def dup_exquo(f, g, K):
 (q, r) = dup_div(f, g, K)
 if (not r):
  return q
 else:
  raise ExactQuotientFailed(f, g)

def dup_exquo ( f , g , K ) : ( q , r ) = dup_div ( f , g , K ) if ( not r ) : return q else : raise ExactQuotientFailed ( f , g )
returns polynomial quotient in k[x] .