pub fn eval_rot_kernel_prism<F: TwoAdicField>( l_skip: usize, x: &[F], y: &[F], ) -> F
\kappa_\rot(x, y) should equal \delta_{x,rot(y)} on hyperprism.
\kappa_\rot(x, y)
\delta_{x,rot(y)}
omega_pows must have length 2^{l_skip}.
omega_pows
2^{l_skip}