fn remove_dummy_variable<F: Field>(poly: &[F], pad: usize) -> Vec<F> {
    if pad == 0 {
        return poly.to_vec();
    }
    if !poly.len().is_power_of_two() {
        panic!("Size of polynomial should be power of two. ")
    }
    let nv = ark_std::log2(poly.len()) as usize - pad;
    let table: Vec<_> = (0..(1 << nv)).map(|x| poly[x << pad]).collect();
    table
}
/// fix first `pad` variables of `poly` represented in evaluation form to zero
fix first `pad` variables of `poly` represented in evaluation form to zero
fix first ` pad ` variables of ` poly ` represented in evaluation form to zero
fn remove_dummy_variable<F: Field>(poly: &[F], pad: usize) -> Vec<F> {
    if pad == 0 {
        return poly.to_vec();
    }
    if !poly.len().is_power_of_two() {
        panic!("Size of polynomial should be power of two. ")
    }
    let nv = ark_std::log2(poly.len()) as usize - pad;
    let table: Vec<_> = (0..(1 << nv)).map(|x| poly[x << pad]).collect();
    table
}
fn remove_dummy_variable < F : Field > ( poly : & [ F ] , pad : usize ) -> Vec < F > { if pad == 0 { return poly . to_vec ( ) ; } if ! poly . len ( ) . is_power_of_two ( ) { panic ! ( " " ) } let nv = ark_std :: log2 ( poly . len ( ) ) as usize - pad ; let table : Vec < _ > = ( 0 .. ( 1 << nv ) ) . map ( | x | poly [ x << pad ] ) . collect ( ) ; table }
fix first `pad` variables of `poly` represented in evaluation form to zero
fix first ` pad ` variables of ` poly ` represented in evaluation form to zero
poly
&[F]
pad
usize