Function taylor_sum

fn taylor_sum<F: FieldWitness>(
    x_powers: Vec<Point<F>>,
    coefficients: impl Iterator<Item = (Sgn, Point<F>)>,
    linear_term_integer_part: &CoeffIntegerPart,
) -> Point<F>