Revision history [back]
 | 1 | initial version |
If you check the parent of elem_fp6, you'll see:
Univariate Quotient Polynomial Ring in v over Finite Field in u of size 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787^2 with modulus ...
Correspondingly, rather than using field_modulus in computing fp6_norm_from_conjugates, you need to use its square:
field_modulus2 = field_modulus^2
fp6_norm_from_conjugates = elem_fp6 * (elem_fp6 ^ field_modulus2) * (elem_fp6 ^ (field_modulus2^2))
