Function halo2_proofs::arithmetic::kate_division

pub fn kate_division<'a, F: Field, I: IntoIterator<Item = &'a F>>(
    a: I,
    b: F
) -> Vec<F>where
    I::IntoIter: DoubleEndedIterator + ExactSizeIterator,

Divides polynomial a in X by X - b with no remainder.