def dmp_add_ground(f, c, u, K):
 return dmp_add_term(f, dmp_ground(c, (u - 1)), 0, u, K)

def dmp_add_ground ( f , c , u , K ) : return dmp_add_term ( f , dmp_ground ( c , ( u - 1 ) ) , 0 , u , K )
add an element of the ground domain to f .