Minor bis

This commit is contained in:
wborgeaud 2021-08-09 14:07:16 +02:00
parent f528835a59
commit d0cb1becf0

View File

@ -17,13 +17,9 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
// x -> a1 + (x-a0)*(b1-a1)/(b0-a0)
let one = self.one_extension();
let (x_m_a0, b1_m_a1) = self.double_arithmetic_extension(
F::ONE,
F::NEG_ONE,
one,
let (x_m_a0, b1_m_a1) = self.sub_two_extension(
evaluation_point,
interpolation_points[0].0,
one,
interpolation_points[1].1,
interpolation_points[0].1,
);