1use crate::fields::{cubic_extension::*, fp::FpVar};
 2use algebra::fields::{CubicExtParameters, Fp3Parameters, Fp3ParamsWrapper};
 3
 4/// A cubic extension field constructed over a prime field.
 5/// This is the R1CS equivalent of `algebra_core::Fp3<P>`.
 6pub type Fp3Var<P> = CubicExtVar<FpVar<<P as Fp3Parameters>::Fp>, Fp3ParamsWrapper<P>>;
 7
 8impl<P: Fp3Parameters> CubicExtVarParams<FpVar<P::Fp>> for Fp3ParamsWrapper<P> {
 9    fn mul_base_field_vars_by_frob_coeff(
10        c1: &mut FpVar<P::Fp>,
11        c2: &mut FpVar<P::Fp>,
12        power: usize,
13    ) {
14        *c1 *= Self::FROBENIUS_COEFF_C1[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
15        *c2 *= Self::FROBENIUS_COEFF_C2[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
16    }
17}