def dmp_ground_monic(f, u, K):
 if (not u):
  return dup_monic(f, K)
 if dmp_zero_p(f, u):
  return f
 lc = dmp_ground_LC(f, u, K)
 if K.is_one(lc):
  return f
 else:
  return dmp_exquo_ground(f, lc, u, K)

def dmp_ground_monic ( f , u , K ) : if ( not u ) : return dup_monic ( f , K ) if dmp_zero_p ( f , u ) : return f lc = dmp_ground_LC ( f , u , K ) if K . is_one ( lc ) : return f else : return dmp_exquo_ground ( f , lc , u , K )
divide all coefficients by lc(f) in k[x] .