def gf_exquo(f, g, p, K):
 (q, r) = gf_div(f, g, p, K)
 if (not r):
  return q
 else:
  raise ExactQuotientFailed(f, g)

def gf_exquo ( f , g , p , K ) : ( q , r ) = gf_div ( f , g , p , K ) if ( not r ) : return q else : raise ExactQuotientFailed ( f , g )
compute polynomial quotient in gf(p)[x] .