Bill Allombert on Sat, 25 Nov 2023 11:07:36 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: N S.T. isfact returns 0
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Re: N S.T. isfact returns 0
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Sat, 25 Nov 2023 11:07:08 +0100
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1700906830; c=relaxed/relaxed; bh=IgGI2oQllsj5yqF3vHSuqdri93yUM71YPWpxk+Jl5n4=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:Mail-Followup-To: References:MIME-Version:Content-Type:Content-Disposition: In-Reply-To; b=3Nx5siou8xIFWrVsGLrLB0O/alYm6Lahn2HsrLHcYWOcug14xQht5/4bWYxSTC/7zS8sEUfK1tm9ctYVLXqsjxuQXIOWxyE7ZpGfCDZXSa94aYpMuruBk9gQD0dn+EucGGpGEG+Dvu33fTbEn6OvNgLGW/NA1e80VTrmNLV6Hl8CoEfkxeAJrlGHNKF11wzKeyQTtocfXq/34tob58XDV+jqbAdHQaRCW+AKMPa25xD+bot9ciITcagV40/zPPbw5EWB1lVlRv1y71hqBMwGZnihz6LEh9xKhn3IhkMuzPxx3Vv79CX3RoRO7iicrVQip81S4Lbcx2gSPIboe6rpxxvc193ANdSWLb+gUmEetm+vO/KzGUNqoiGjnrvXpnFhQO4v1zcBr4b6bXHy9vVX3YMEX3HlXeCwdlYYc4ZBpYkwBhv4o0HeuGLrbCWcSkCwPHT5Y68E1xA/mdvc5Hm2QyYc+M6d11tUNGV+PVwEEuv4fzQEafywGy87fFDukWbcI/GvrwSCRh5HLx8mBWdGWiQ+PiHOaNoDOgf3yij2fs8iJ8zyPaWu3BZHUTxiORV6lqBFvOfLveorCzoDu11aUiOk1TkTu/VHZelogfLlxY+ybdSOCmzC8kpI0RCSxaqnzSCkI+s+MMkDonW1Yy8ii+8C7qZ8cAdQsc6iw8g8tI8=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1700906830; cv=none; b=NteeHQnkUpszI5JAJ/NTy7WIZPasDTrYwvGh2JyDtbrGR+qy0UJoKA5eABG//iQG4sSocX30tBGWg5+3z8nfqOGLcZqGqva8zMYiQNbY9r+w55SctT2LiaGe8XgkT54BfXOxXWR/oyOboQkrOp84FzPTaZWW3EwukQ5Bo0a4yGMpUfFsELMhMttU699iHNEFL5ootl2DDiWoghsXLbZl8q8DRRCft4d8Fflqq0XtMSshoy3bEqsK4wgu37f7Sth2pv7s7KlUvh/W4T9k6yO+gxoWOzXm9z/DMjkHP0thGQyJpgRG/jLc2jDaROm16kakE8AqNpn+kkFBM0cuiHFG0uJ9alZ/yx5S7t9agt3p78rU2I3OG4RA8PQKFLPzWdgpUc5fZ18L21jiI7CvxnCpa29y+hofKlchvR2R2luCPOYNKZdnHPy5E+t6vvMXyC6yqLCy5Iyd6gTyI3+4lKKY+9HxomUyih5lNbdglFAUTHbVbh8JOTAoGu1+8IivUC2cyoBldB7AzR+sgXWR9l8Ke4ZAatrcwnqWI1ewPGFTc1nLSX6l6iUNtGi44XhKRKLCsGMeUUEREYwgJ5hchC+UBok+L4fJOiODm/8FYg5uIPkm6cMLH82FaQltQSvSwQjirVPRzE8dj1o2fD8hLYCnGg2f0h8JtIW+p/VCcBOnUZ4=
- Authentication-results: smail; arc=none
- Delivery-date: Sat, 25 Nov 2023 11:07:36 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1700906830; bh=IgGI2oQllsj5yqF3vHSuqdri93yUM71YPWpxk+Jl5n4=; h=Date:From:To:Subject:References:In-Reply-To:From; b=Es7+stYbG7F5aQUThxMTviQHB7TEkflG5JOWi4Cnx8JXQ3LTBHCi4TnX3ltob6zoE cVWQARyuBweuQ9aKVx1ZFo2cysvXk2bnBnZCD0AU+2xJME0ehsx5T5wsLwOTkYwfxd QwuunlGf4SuKiepl7Foupj3dDUc7uclsLFOLdrCo66dAxA/9Gv3ZQarphG4jD2Xedc 0h5BK01xOn4sImb8MgAD38ezoZP3v3gKZSTIqPz+/+zJH74KZgqfaAjwPY8n3v3OeK eO175vaWJggROFvLiCT/HT+EdsJcwiwjcy8XNMdJn1jRg3bkgagkHOs0BhRur/xNEp /wz2vUea3itxGL+qexgvjAq0/lic7DG/PvBjoq43bidWBl/AS8Yg3m5dKKqL/8txRb fjaKAPGK50JiBbyL1cg5+JiEEO7yt2F3rnTGl0mn59QGN74Z0mCqFEbPz1051ElCji 4IRoRAX2OQSxEgEA6h6eB2B00B10Ez/IWeeivpQmR3aS72hrHhKaZi4dyRZ0WYU7gu odBOTJ37JCgFksjCbKjL05FUfsARTQdkdRXpiFbmXzxxdxwBmuvO7/57XreRBJR2gj W/G3guN8hODV+ljmuXcWgyYHEnsElbQClISe+y9CM7chxBpv7LYUowQwlGox2U8CE/ e7Nxka7wIMHqOnHq/b/KtEOg=
- In-reply-to: <42c3469b-ece1-4824-80cb-9f604ed78bd0@wavecable.com>
- Mail-followup-to: pari-users@pari.math.u-bordeaux.fr
- References: <42c3469b-ece1-4824-80cb-9f604ed78bd0@wavecable.com>
On Fri, Nov 24, 2023 at 09:18:32PM -0800, Thomas D. Dean wrote:
> I was looking at foursquares-2.16.1.gp. In the function threesquares(n),
> isfact(n) is used to select the method of calculation. I think it always
> uses threesquares_fact(n,F).
The purpose of isfact is to check whether a number is "easy to factor".
I define "easy to factor" as follow:
N is "easy to factor" if all its distinct prime factors, except at most one, are smaller
than 2^20. (This implies that GP factor function will factor it very quickly).
Prime numbers and prime powers are always "easy to factor".
Every number smaller than 2^40 is easy to factor.
the smallest number which is not easy to factor is 1099532599387.
If you pick a random n-bit number, it has probability 1/(n*log(2))=1.44/n to be prime,
and probability at least 35.6/n to be "easy to factor".
> I checked isfact(a^2+b^2+c^2) up to a==b==c==100 and found nothing.
a^2+b^2+c^2 is always <= 2^40 in your range, so they are all "easy to factor".
Cheers,
Bill