Function small_field_embedding_degree_check

pub fn small_field_embedding_degree_check<F, FBase, P, M>(
    multilinears: &[M],
) -> Result<(), Error>
where
    F: Field + ExtensionField<FBase>,
    FBase: Field,
    P: PackedField<Scalar = F>,
    M: MultilinearPoly<P>,

Check that evaluations of all multilinears can actually be embedded in the scalar type of small field PBase.

Returns binary logarithm of the embedding degree.