|
Bill Allombert on Tue, 28 Mar 2023 13:55:49 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: finite fields -- choice of defining polynomial
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Re: finite fields -- choice of defining polynomial
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Tue, 28 Mar 2023 13:54:15 +0200
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1680004454; c=relaxed/relaxed; bh=69Kvjkgx89tmyA8APl1jjSiH2GHWUfRomcd2d8iPUtY=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:Mail-Followup-To: References:MIME-Version:Content-Type:Content-Disposition: Content-Transfer-Encoding:In-Reply-To; b=Dxq7EDaJNhEVmTixolDg6s8z4ebRB3FGh2PE/3N1oG/RaVryTJe9ec4W3Yvu9L8S5lCynbyloSPCBCRS47jFVnXTQ+nPGWhpJsClQ/zyuJscFx7xn3PQkwoDUBP4G9JC0/Z9HBAC4MNr84KDRhcYKQva85wrpTIp0iHnQmcMRumOQF35T+H3XOxZbJZQ6RARs5bbck8yT/LORQD+nTnYgfOhfd3y8eH0fkGgFj9Aw39EbUZsxgGZ6Pr1dzhL3FiiKOMczghsvT774loOIWvNSeljUbgLUGJvKM9lEMH1LFnAi8sGTW3jhMuHFESZhIYLQTWUeJPUh/I9/OYbtFub+1EumZCBnxH4Oc/dYOUhfP+wjq2qchn1VJNCtbpClma/AUJeadjFTVjPqsOGstcyBQUFUtKXXsfzvfn/mZ66QIQueRCLj8Hj5H0m+3iS/xW+iWJGmCL6GK1L+qBPMMC8LtUv3jSbeg3mFcAF2vuR3B6IX65kBsTN9h0xuWjuHkr8Yb/iL+yN5sbIdWbgu23zCKQntnklIO+hgM6XsjNYOxss8sHknA7nZHQzlFfmNimouH+p/rzhL8nPr3XguQl42p+nd7JVmPD2IU1oTtto3ADWJL4EoB9xARj+brWaqBMeUfw9Pdj7tIgJLhMYqkHjIm1zM+FWrv50crB74cMZvpM=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1680004454; cv=none; b=vxZwgQ6VY9NCNGu9FcarZJfJw7itg82t46MpIRFFk1sEaiBFJ856iCD9jU0sbR5bkXBCmIaFLQDmnzhXqezHtr6Qv7X9SetN/sntvq9uF1FgVYwXwuKvelSrKRNL26zkYXAstZVhlI+hFUfRx2MVmKReSoLAYnLsi6auAz/6g3/pjY6q/JE16TvmJV+D/4ZRIlMfrprgDcV34/E1W1dVioh+IrmgiFZkIpJx+iGgQylbz3TSDpREr3aYs+3s3nxszWoLkpkSLsLrsqqVWuwssz5VsvxNaZVT4guY7X2k9XQZUpzRC2vy4wDgk2lhzPMoiALIhPoXX3dNL0vd0W14vYY3f4lKh9oAKP5x5RW/Yx+fp1w9/CSWxTJoVLKjbnWuF0iNuYdUzVctQN0HeBMH23jkcGGXDG36bDdCjqQdKp50KgkgbwdxhZNYoHCZtH3OEiJ37zfDLeBydvyTj8YkQ47HYU0wF5hP5EswQXSF+jDJPwaCw4Lyg9FG7AVpSkAHefSqh/5UOlzRI0dRtiPA+vQkm8lXm8fR687MMGOU0aUlOCJCrJTFW5GTFLQR+EOrOOfxXR6GDdBAFUWNhELGTbkH8vuXk5cSBt9PI2mnrcbwIKEvUnen0BqJGTgzRKJ511AuWaASCzmiGORQFIqfRrfgSgP1m6A1mfTS1A8Kei8=
- Authentication-results: smail; arc=none
- Delivery-date: Tue, 28 Mar 2023 13:55:49 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1680004454; bh=69Kvjkgx89tmyA8APl1jjSiH2GHWUfRomcd2d8iPUtY=; h=Date:From:To:Subject:References:In-Reply-To:From; b=rch6FCsuXRm5ed9hvnNMUr/j+AXBUQfDUlxpvlUJfGsoqwOY70dvXh387mWIZhtFy edhP8gPxvOr/gV7Uce3hDfJIXSp1vCwCwX7gwb+xXnlA4xqzUqAOD/NBWCP+qP7DJK 012q7LPqoA135Cune+6L/jZDYSTnWDqkM30tgKFfQt5923hgKW6w6nHwhVUZPamX/m e5TIg/9z4jYCfKZjcIazfsW9MKpWT2j1hIGjRqFb9b1O8j5Fkwlz9NXEVysI0wOckG m1ZcoNUVJcLta2z8bVrR+FXsogEtUMrrDVFkHPdLh+fLF3cKlyUHsDellwOqwIfz+c 3r6rQJCyys6GT9xsDpQzOQiwMwMMmqc3w23UnkkzFTAjr3miagp21XlJFwftBbbqol ElF48ksrCJvh+5dA9JjeRTrPC73t2FZDPM5JTsRdzh1/2AXdKKuc8g4FiYkfBe/mpM B+HuRQhWxW1AH3HKXA5geUmmE2Bea+fy5paMiYY3KjwCXusu1zXmML/WIL9Hc8Yb1V hmfydvnP+T6oNkoJRkFnsoObzsALznrLYeBZVoglt3JcrdkmH1H12p99QTZQiYZjQz knY6mWvsstoak9qF7oMe3J93aZ6swVQKLCzBJQxwAgrnfz3o75sSn8NpbJKHcRAwJ0 +h43igW03a7Si/kHPcHQDQ6Q=
- In-reply-to: <CAD0p0K4Q0zyO2_L0EfPh0mqwT_vC=ZZ9t1hr=A1W_fx+Nf=FRg@mail.gmail.com>
- Mail-followup-to: pari-users@pari.math.u-bordeaux.fr
- References: <CAD0p0K4Q0zyO2_L0EfPh0mqwT_vC=ZZ9t1hr=A1W_fx+Nf=FRg@mail.gmail.com>
On Tue, Mar 28, 2023 at 10:47:39AM +0000, John Cremona wrote:
> The documentation for ffinit(p,n) does not seem to allow the user to
> specify their own irreducible polynomial (of degree n over Fp). Is that
> right?
Hello John,
The only thing ffinit does is to compute an irreducible polynomial.
(I did not choose the name of this function...)
> ffgen(k) does allow k to be an irreducible polynomial rather than the
> output of an ffinit(). If ffgen() is used with a polynomial, can one
> recover the associated ffinit structure, or in some other way do as much
> arithmetic in the field as with an ffinit?
Yes, ffgen does it for you.
> More specifically, has anyone implemented Conway Polynomials in PARI/GP?
Not that I know of.
They are very slow to compute. Magma use precomputed tables to work
around this. If you have such table already, then you can import the polynomial
in GP.
ffgen has the good property to be fast and deterministic.
For an alternative with similar speed but more functorial property I suggest
<https://arxiv.org/abs/2107.02257> by Franck Lübeck
which is implemented in GAP:
<https://www.gap-system.org/Packages/standardff.html>
Cheers,
Bill.