def gf_quo_ground(f, a, p, K):
 return gf_mul_ground(f, K.invert(a, p), p, K)

def gf_quo_ground ( f , a , p , K ) : return gf_mul_ground ( f , K . invert ( a , p ) , p , K )
compute f/a where f in gf(p)[x] and a in gf(p) .