binius_core::protocols::sumcheck::prove::zerocheck

Function high_pad_small_multilinear

Source 
pub fn high_pad_small_multilinear<PBase, P, M>(
    min_n_vars: usize,
    multilinear: M,
) -> Either<M, MLEEmbeddingAdapter<PBase, P>>
where
    PBase: PackedField,
    P: PackedField + RepackedExtension<PBase>,
    M: MultilinearPoly<P>,