pub trait PolyFp<F: Field> { fn poly_fp( &self, cycle: usize, steps: usize, mix: &F::ExtElem, args: &[&[F::Elem]] ) -> F::ExtElem; }