def dup_monic(f, K):
 if (not f):
  return f
 lc = dup_LC(f, K)
 if K.is_one(lc):
  return f
 else:
  return dup_exquo_ground(f, lc, K)

def dup_monic ( f , K ) : if ( not f ) : return f lc = dup_LC ( f , K ) if K . is_one ( lc ) : return f else : return dup_exquo_ground ( f , lc , K )
divide all coefficients by lc(f) in k[x] .