Function frobenius_tests

pub fn frobenius_tests<F, ConstraintF, AF>(
    maxpower: usize,
) -> Result<(), SynthesisError>
where
    F: Field,
    ConstraintF: PrimeField,
    AF: FieldVar<F, ConstraintF>,
    for<'a> &'a AF: FieldOpsBounds<'a, F, AF>,