1use super::*;
 2use ark_ff::{field_new, fields::*};
 3
 4pub type Fq12 = Fp12<Fq12Parameters>;
 5
 6#[derive(Clone, Copy)]
 7pub struct Fq12Parameters;
 8
 9impl Fp12Parameters for Fq12Parameters {
10    type Fp6Params = Fq6Parameters;
11
12    const NONRESIDUE: Fq6 = field_new!(Fq6, FQ2_ZERO, FQ2_ONE, FQ2_ZERO);
13
14    #[rustfmt::skip]
15    const FROBENIUS_COEFF_FP12_C1: &'static [Fq2] = &[
16        // Fp2::NONRESIDUE^(((q^0) - 1) / 6)
17        field_new!(Fq2, FQ_ONE, FQ_ZERO),
18        // Fp2::NONRESIDUE^(((q^1) - 1) / 6)
19        field_new!(Fq2,
20            field_new!(Fq, "92949345220277864758624960506473182677953048909283248980960104381795901929519566951595905490535835115111760994353"),
21            FQ_ZERO,
22        ),
23        // Fp2::NONRESIDUE^(((q^2) - 1) / 6)
24        field_new!(Fq2,
25            field_new!(Fq, "80949648264912719408558363140637477264845294720710499478137287262712535938301461879813459410946"),
26            FQ_ZERO,
27        ),
28        // Fp2::NONRESIDUE^(((q^3) - 1) / 6)
29        field_new!(Fq2,
30            field_new!(Fq, "216465761340224619389371505802605247630151569547285782856803747159100223055385581585702401816380679166954762214499"),
31            FQ_ZERO,
32        ),
33        // Fp2::NONRESIDUE^(((q^4) - 1) / 6)
34        field_new!(Fq2,
35            field_new!(Fq, "80949648264912719408558363140637477264845294720710499478137287262712535938301461879813459410945"),
36            FQ_ZERO,
37        ),
38        // Fp2::NONRESIDUE^(((q^5) - 1) / 6)
39        field_new!(Fq2,
40            field_new!(Fq, "123516416119946754630746545296132064952198520638002533875843642777304321125866014634106496325844844051843001220146"),
41            FQ_ZERO,
42        ),
43        // Fp2::NONRESIDUE^(((q^6) - 1) / 6)
44        field_new!(Fq2,
45            field_new!(Fq, "-1"),
46            FQ_ZERO,
47        ),
48        // Fp2::NONRESIDUE^(((q^7) - 1) / 6)
49        field_new!(Fq2,
50            field_new!(Fq, "165715080792691229252027773188420350858440463845631411558924158284924566418821255823372982649037525009328560463824"),
51            FQ_ZERO,
52        ),
53        // Fp2::NONRESIDUE^(((q^8) - 1) / 6)
54        field_new!(Fq2,
55            field_new!(Fq, "258664426012969093929703085429980814127835149614277183275038967946009968870203535512256352201271898244626862047231"),
56            FQ_ZERO,
57        ),
58        // Fp2::NONRESIDUE^(((q^9) - 1) / 6)
59        field_new!(Fq2,
60            field_new!(Fq, "42198664672744474621281227892288285906241943207628877683080515507620245292955241189266486323192680957485559243678"),
61            FQ_ZERO,
62        ),
63        // Fp2::NONRESIDUE^(((q^10) - 1) / 6)
64        field_new!(Fq2,
65            field_new!(Fq, "258664426012969093929703085429980814127835149614277183275038967946009968870203535512256352201271898244626862047232"),
66            FQ_ZERO,
67        ),
68        // Fp2::NONRESIDUE^(((q^11) - 1) / 6)
69        field_new!(Fq2,
70            field_new!(Fq, "135148009893022339379906188398761468584194992116912126664040619889416147222474808140862391813728516072597320238031"),
71            FQ_ZERO,
72        ),
73    ];
74}