|
Laël Cellier on Sat, 05 Jul 2025 00:20:44 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: How to declare a finite field element resulting from a Prime Power in Pari/ɢᴘ ?
|
- To: pari-users <pari-users@pari.math.u-bordeaux.fr>
- Subject: Re: How to declare a finite field element resulting from a Prime Power in Pari/ɢᴘ ?
- From: Laël Cellier <lael.cellier@gmail.com>
- Date: Sat, 5 Jul 2025 00:20:39 +0200
- Delivery-date: Sat, 05 Jul 2025 00:20:44 +0200
- Disposition-notification-to: Laël Cellier <lael.cellier@gmail.com>
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1751667641; x=1752272441; darn=pari.math.u-bordeaux.fr; h=content-transfer-encoding:disposition-notification-to :content-language:to:subject:from:user-agent:mime-version:date :message-id:from:to:cc:subject:date:message-id:reply-to; bh=36Xd0JJNAMnG50iQvGcHLYnlGXMwR73I3CUMbB8H8Hg=; b=VGDgBzLnPQw33aCiTymZeDBAzF7tl5MKJHLFQ1205n5RyBj7mA1QfDdxJRJJSKuyCl /evxxnK2j+YEr5jDP9/eAAYEVuTL9XdDtVXi82x+b60OQqTr5W3c6njuHUBC7ba8xH3/ jRUu4izyrHt4+cw3IlCqiFzs2jv+Y7xRNi3VLPmg9MuJDx9tq8X6/6k7gSE9nvdsmWzU 9LQxF+S2mmWYL/U77nqg1VcMftCd0HIPaDBQFkirJc04Nsu1H/OAzBogv4NtSGWwAdmS Tc8WP0V9rVKFuvzKXE6cW0rVO/uFZD5rapZrlN8sc+gNhErZNcHJkKzffZQA2j2LZQT4 3SjA==
- User-agent: Thunderbird Daily
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()