1use crate::*;
 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    const FROBENIUS_COEFF_FP12_C1: &'static [Fq2] = &[
15        // Fp2::NONRESIDUE^(((q^0) - 1) / 6)
16        field_new!(Fq2,
17            field_new!(Fq, "1"),
18            field_new!(Fq, "0"),
19        ),
20        // Fp2::NONRESIDUE^(((q^1) - 1) / 6)
21        field_new!(Fq2,
22            field_new!(Fq, "3850754370037169011952147076051364057158807420970682438676050522613628423219637725072182697113062777891589506424760"),
23            field_new!(Fq, "151655185184498381465642749684540099398075398968325446656007613510403227271200139370504932015952886146304766135027"),
24        ),
25        // Fp2::NONRESIDUE^(((q^2) - 1) / 6)
26        field_new!(Fq2,
27            field_new!(Fq, "793479390729215512621379701633421447060886740281060493010456487427281649075476305620758731620351"),
28            field_new!(Fq, "0"),
29        ),
30        // Fp2::NONRESIDUE^(((q^3) - 1) / 6)
31        field_new!(Fq2,
32            field_new!(Fq, "2973677408986561043442465346520108879172042883009249989176415018091420807192182638567116318576472649347015917690530"),
33            field_new!(Fq, "1028732146235106349975324479215795277384839936929757896155643118032610843298655225875571310552543014690878354869257"),
34        ),
35        // Fp2::NONRESIDUE^(((q^4) - 1) / 6)
36        field_new!(Fq2,
37            field_new!(Fq, "793479390729215512621379701633421447060886740281060493010456487427281649075476305620758731620350"),
38            field_new!(Fq, "0"),
39        ),
40        // Fp2::NONRESIDUE^(((q^5) - 1) / 6)
41        field_new!(Fq2,
42            field_new!(Fq, "3125332594171059424908108096204648978570118281977575435832422631601824034463382777937621250592425535493320683825557"),
43            field_new!(Fq, "877076961050607968509681729531255177986764537961432449499635504522207616027455086505066378536590128544573588734230"),
44        ),
45        // Fp2::NONRESIDUE^(((q^6) - 1) / 6)
46        field_new!(Fq2,
47            field_new!(Fq, "-1"),
48            field_new!(Fq, "0"),
49        ),
50        // Fp2::NONRESIDUE^(((q^7) - 1) / 6)
51        field_new!(Fq2,
52            field_new!(Fq, "151655185184498381465642749684540099398075398968325446656007613510403227271200139370504932015952886146304766135027"),
53            field_new!(Fq, "3850754370037169011952147076051364057158807420970682438676050522613628423219637725072182697113062777891589506424760"),
54        ),
55        // Fp2::NONRESIDUE^(((q^8) - 1) / 6)
56        field_new!(Fq2,
57            field_new!(Fq, "4002409555221667392624310435006688643935503118305586438271171395842971157480381377015405980053539358417135540939436"),
58            field_new!(Fq, "0"),
59        ),
60        // Fp2::NONRESIDUE^(((q^9) - 1) / 6)
61        field_new!(Fq2,
62            field_new!(Fq, "1028732146235106349975324479215795277384839936929757896155643118032610843298655225875571310552543014690878354869257"),
63            field_new!(Fq, "2973677408986561043442465346520108879172042883009249989176415018091420807192182638567116318576472649347015917690530"),
64        ),
65        // Fp2::NONRESIDUE^(((q^10) - 1) / 6)
66        field_new!(Fq2,
67            field_new!(Fq, "4002409555221667392624310435006688643935503118305586438271171395842971157480381377015405980053539358417135540939437"),
68            field_new!(Fq, "0"),
69        ),
70        // Fp2::NONRESIDUE^(((q^11) - 1) / 6)
71        field_new!(Fq2,
72            field_new!(Fq, "877076961050607968509681729531255177986764537961432449499635504522207616027455086505066378536590128544573588734230"),
73            field_new!(Fq, "3125332594171059424908108096204648978570118281977575435832422631601824034463382777937621250592425535493320683825557"),
74        ),
75    ];
76}