pub fn check_interpolation_domain<F: Field>(
max_individual_degree: usize,
domain: &InterpolationDomain<F>,
) -> Result<(), Error>
Expand description
Validate that evaluation domain starts with 0 & 1 and the size is exactly one greater than the maximum individual degree of the polynomial.