Re: How to declare a finite field element resulting fro m a Prime Power in Pari/ɢᴘ ?
Laël Cellier <[email protected]>
| Newsgroups | gmane.comp.mathematics.pari.user |
|---|---|
| Message-ID | <[email protected]> |
Ok in reality I don’t know to declare such value in SageMath besides any GF(q) with q of degree 12 will lead the finite field elements to be written as z12 https://en.wikipedia.org/wiki/Wikipedia:Reference_desk/Mathematics#In_SageMath,_how_to_declare_a_specific_point_over_a_binary_curve_? : the value comes from py_ecc which doesn’t supports elliptic curve scalar multiplication but perform some computations over twisted finite fields that Pari/ɢᴘ nor SageMath seems to support https://github.com/ethereum/py_ecc/blob/04151f01f59f902ab932a51e0ca0ebce3883fc51/py_ecc/optimized_bn128/optimized_curve.py#L163. So I can’t do z12.minpoly()