Function 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.