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,
18            field_new!(Fq, "1"),
19            field_new!(Fq, "0"),
20        ),
21        // Fp2::NONRESIDUE^(((q^1) - 1) / 6)
22        field_new!(Fq2,
23            field_new!(Fq, "8376118865763821496583973867626364092589906065868298776909617916018768340080"),
24            field_new!(Fq, "16469823323077808223889137241176536799009286646108169935659301613961712198316"),
25        ),
26        // Fp2::NONRESIDUE^(((q^2) - 1) / 6)
27        field_new!(Fq2,
28            field_new!(Fq, "21888242871839275220042445260109153167277707414472061641714758635765020556617"),
29            field_new!(Fq, "0"),
30        ),
31        // Fp2::NONRESIDUE^(((q^3) - 1) / 6)
32        field_new!(Fq2,
33            field_new!(Fq, "11697423496358154304825782922584725312912383441159505038794027105778954184319"),
34            field_new!(Fq, "303847389135065887422783454877609941456349188919719272345083954437860409601"),
35        ),
36        // Fp2::NONRESIDUE^(((q^4) - 1) / 6)
37        field_new!(Fq2,
38            field_new!(Fq, "21888242871839275220042445260109153167277707414472061641714758635765020556616"),
39            field_new!(Fq, "0"),
40        ),
41        // Fp2::NONRESIDUE^(((q^5) - 1) / 6)
42        field_new!(Fq2,
43            field_new!(Fq, "3321304630594332808241809054958361220322477375291206261884409189760185844239"),
44            field_new!(Fq, "5722266937896532885780051958958348231143373700109372999374820235121374419868"),
45        ),
46        // Fp2::NONRESIDUE^(((q^6) - 1) / 6)
47        field_new!(Fq2,
48            field_new!(Fq, "-1"),
49            field_new!(Fq, "0"),
50        ),
51        // Fp2::NONRESIDUE^(((q^7) - 1) / 6)
52        field_new!(Fq2,
53            field_new!(Fq, "13512124006075453725662431877630910996106405091429524885779419978626457868503"),
54            field_new!(Fq, "5418419548761466998357268504080738289687024511189653727029736280683514010267"),
55        ),
56        // Fp2::NONRESIDUE^(((q^8) - 1) / 6)
57        field_new!(Fq2,
58            field_new!(Fq, "2203960485148121921418603742825762020974279258880205651966"),
59            field_new!(Fq, "0"),
60        ),
61        // Fp2::NONRESIDUE^(((q^9) - 1) / 6)
62        field_new!(Fq2,
63            field_new!(Fq, "10190819375481120917420622822672549775783927716138318623895010788866272024264"),
64            field_new!(Fq, "21584395482704209334823622290379665147239961968378104390343953940207365798982"),
65        ),
66        // Fp2::NONRESIDUE^(((q^10) - 1) / 6)
67        field_new!(Fq2,
68            field_new!(Fq, "2203960485148121921418603742825762020974279258880205651967"),
69            field_new!(Fq, "0"),
70        ),
71        // Fp2::NONRESIDUE^(((q^11) - 1) / 6)
72        field_new!(Fq2,
73            field_new!(Fq, "18566938241244942414004596690298913868373833782006617400804628704885040364344"),
74            field_new!(Fq, "16165975933942742336466353786298926857552937457188450663314217659523851788715"),
75        ),
76    ];
77}