Skip to Content.
Sympa Menu

cado-nfs - Re: [cado-nfs] las assert issue

Subject: Discussion related to cado-nfs

List archive

Re: [cado-nfs] las assert issue


Chronological Thread 
    < Chronological >      < Thread >
  • From: Emmanuel Thomé <Emmanuel.Thome@inria.fr>
  • To: Tyler Busby <tylerbusby333@gmail.com>
  • Cc: cado-nfs@inria.fr
  • Subject: Re: [cado-nfs] las assert issue
  • Date: Sun, 2 Jun 2024 08:35:36 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Emmanuel.Thome@inria.fr; spf=Pass smtp.mailfrom=emmanuel.thome@elliptic.org; spf=None smtp.helo=postmaster@mail-ed1-f44.google.com
  • Ironport-data: A9a23:r42/Jq/FNutXaKMB2ulxDrUDd3qTJUtcMsCJ2f8bNWPcYEJGY0x3n GVJXm6HOvvfYmT2eNAna4vkpkNX65TcyN8wSAFr/iBEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWYkWo4ow/jb8k834qyr4G5wUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TExsdCNn8sZ70ho+cpKjkW3 OEhNxc9YUXW7w626OrTpuhEg80iKIzmMNpatC08iz7eCvkiTNbIRKCiCd1whm9hwJATW6yGN 4xFNVKDbzyYC/FLEloSDZs4geqswGX/dDhVgF+Roasv/2nYigtr39ABNfKFKoHUG5kNzi50o ErXpFrHXUEZBOCF9n3Z+Ej1uPHQ3hvSDdd6+LqQraMz2ALCmAT/EiY+XlK3pry/hFWWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBsxJFHtQMT6s17waCzqeS6AGcboQZctJfQNkUmPUIX2Ya7 waIwfixXRVyiaKyeX3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHoYL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSCjj7145aVEkg64QLYWm/j5QR8DGJEW2BKwQmHhRqjBN/GJrVkg JTis5bChAzpJc/X/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42a5leJ2G3P h+M6V45CHpv0J2CPf4fj2WZW5RC8EQcPY26PhwpRoMSPMcrLVXXlM2QTRTBgD6y+KTTrU3PE czGKJ7zXChy5VVPwz2xSOMQmb4tzWZW+I8gbcGT8vhT6pLHPCT9Ye5dbjOmN7llhIva+lm92 4gEbKOilU4PONASlwGNrub/23hRfSZlbX03wuQLHtO+zv1OQz1wW6OMnOJ+E2Gn9owM/tr1E riGchcw4DLCabfvc21ms1gyN+O9boU1tn8hIy0nMHCh3nVpM87l774Se9FzNfMr/fBqh6w8B fQUWdSyMtIWQBT++hMZccbcqq5mf0+Vng6gBXeuTwU+WJ9CfDb33OHYUDHhzwQwKxamlNAfp uSg3zzLQJBYSAVFCt3XWc2VzFiwnCY8nbtyVnTXPutsQVXIz7kyDQesiPVtcscGBije92HLy yeXHhYqiu3fqKAl8NTypP6lrqX4N8BcD0ZlD23gwrLuDhbj/02n2p1lfNeTWDLgCFPP56SpY NtKw8HGMPEomEhAt6x+Ge1JyZ0SysTOpbgA6ChZB1TOMkqWD41/Lkm83cVgsrNHwplbs1CUX mON4txrBqWbCvj6EVI+JBsXUcrb7Ks6wgLt1PUSJFn2wARV/7DdCEVbAESquRxndbBwNNso/ PcltMso8DeAsxsNMOudryVq5m+Jf20hUaImi8kgO7XVqDEXk3NMXZ+NLRXNwsCrS85NOUwUM DOrlPL8p7BD9HHjLVs3N1bwhNR4u7pflixO/lE4I3axpuHknd4yhR1YziQ2RF9azzJByONCB VJoPExUe4SLwSxiq8xcU0+oGSVEVQyr623q6l4zjGaCZVKZZm/MC2wcOOi240ES9VxHTAVb5 L21zGXEUy7gWcPAwRsJRk9ursL8QexL9gHtnN6tG+KHFcIYZQXJr7CPZ21SjTfaGuI02VP6o Nd18NZKaaHUMTAap4s5AdK40ZUSUBW1G3xQc8p+/a8mHXDuRx/q4GKgc3uOQ8JqI+DG1WSaC MY0f8JGaEmY5Ra09zseAfYBHq9wkPsX/+E9Q7LMJ1Mdkr6hvzFs4YPx9C//uTcReO9Qs/0Bc 6HfSzHTNVarpypwu3TMp8x6KGaHcYE6RAnj7tuUrsQNNbw+6d9JT29j84GanXuvNClfwym1p yLGPq/f8Pxjw99jnqzqCaRyOD+3ItLSCsWN9B24ttBOSdb9IObPqAInhV31NCtGPbYqeopWl JbclPXVzU/6rLINfGSBoKa4Fo5N/tSUXsBbFunVPUtqt3KOd+G06iRS5l3iD4JCle1sw/WOR iy6WZOWTsEUUdIM/09lQXFSPDhFApumc5q6gz22qsmNLR0v0QbnCteD3l2xZEF5ch44AbHPO jXWid2PuO8B9J9tASUaDc5IG5V7eV/veZU3fu3L6AW3MDOavUOgiJDDyzwb9jD5OluVGp3b4 LXEZCTEWjachaXq9Oxd4qtO5kA5LXAkjecJKxdXv5Y8jj2hF2cJINgMKZhMWNkejiX204q+f z3XKncrDSLmRzlfbBHg+5LZUxyCAvAVcMLMTtDzE5h4tw/tbG9BPFdgysuky3J/ez+mwe3+b N9Cpjv/OR++xpwvTuEWjhB+bSGL2duCrk/kO2ik+yAxP/raKbgO0H15AAtGEyvdHKkhUW3Vc HMtSzksrF6TECbM/AUJR5KRMBAfpjLmiTsyBctKLBAzpK3DpNB9JDbD1y0fH1HNgAnm5FLDe J8ve1aw3g==
  • Ironport-hdrordr: A9a23:Eh9fDqsX0M4Jq3PI1O41aoWr7skDoNV00zEX/kB9WHVpmwKj5r 2TdZUgpGPJYVkqKRcdcLy7Sc69qDbnhPpICOoqTNWftWvdyROVxehZhOOIol3d8m/Fh4tgPM 9bHZSWY+eAdmSS4/yKmjVQ0OxM/PC3tI6tjefai1F3TQ9rbKlkqyN0EBySHEEzZCQuP+tBKH Nf3KB6TvabFUj/p/7Vdxo4Y9Q=
  • Ironport-phdr: A9a23:qgTZABKuTL5Sv93EMdmcuFZvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtLM33A6CBN2Fo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtMiTanf79/L xG7oQrMusUKgIZpN7o8xAbOrnZUdOtawn9lK0iUkxjg+Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRbMUQWA6H0cUn4LkhVTGAjK8Av6XpbqvSTksOd2xTSXMtf3TbAwXjSi8 rtrRRr1gyoJKzI17GfagdFrgalFvByuuQBww4/MYIGUKvV+eL/dfcgHTmZFR8pdSjBNDp+5Y 4YJEuEPP/tXr5PlqlQBoxuxBwmiCu3sxDFVmHH7w7E13v87Hg3axgEtBc4CvGjWodjzKawcU fq1zK7NzTjbYP1W3DL955LOchA8v/6MWa97f9TRyUkoEgPClEibpIvqMTOQ0+QCqW6b7/d+W uKrkWIptQFxoj+qxsgykYTJh4QVykrF9Spj2oo1K8e4RVd9bNW5H5ReqzuUOJFqQsM+XW5oo iA6x6UbtJKlfSUH1ZcqyhrRZvGbbYSF4g/uWeWRLDp5hHxofKyzihWs/Eav1uHwSsm53VZEo CdHjNXBtHQA2hPN58WaTPZ240mv2TGK1w/J6+FEJ1g5lavdK547w74/jIAfsUrZHiPulkX2j auWdlk69eiy8ejnfq/ppoWTN4BqlgHzNLkllM+nAekgLAQCQ2yW9f6/2bDj50H1XqlGg/4sn qTWv53WPdoXqrK9DgNP0Ysu6wyzAym73Nkbh3UKI09JdRSahIX3P1HOPev4DeuhjFS2jTlrx vHHMaP5D5nRKHXIja3vcqxn60FGzQo+1dBf6IxQCrEGOP/zX1X+tN3cDhMgLQO73vvrBMxz1 o4RVm+DGKCZMKTVsV+H4uIgPfOAa5MSuDb4M/Ql5vjugmElmVIFY6WlwZ8aZGq7E/lmOUmVf 2bgj9QbHWoFsQcyVOnqh0eDUT5XaXayRaU85jQjBY24CIfDQ5qigLqc3CilGp1afHxGClCLE XftaYqJQOkDaCaWIs9gijwESbmhRJM72RGprg/6xKJrLuzP9SIAr5LsyMB15/HPlRE17TF4E tyR03uRQGFsgmMIWzg20bhjrkNn11iD1rF0g/pWFdxI/P5JSQc7NZvEz+NgEdzyWwTBfs2IS Fm8WNmmDysxHZoNxIoyckJwAZ2IkwvJzmL+H64RmqaBGYc+4/mHhFD+Is98zzDN06x33Hc8R c4aGGijj6hi+gybO47OlsTRw4uvcK0awSPJsluDym+DlEBeSg95F6vfCyNMLnDKpMj0sxuRB 4SlDq4qZ04YkZbqwspib9ToiQ4DX/L/IJHFZHr3nW6sBBGOz7fKbYzwemxb0j+OQFMcnVU1+ nCLfRM7Gj/nu3jXWRFrEFvpfk7ot9V+r3a2Zk4y1QCDKUN7hPKu4hBAvfWHULsI264c/iIoq jF6BlG4it/TDtOGugdlOrlcZtYwyFpD0WPBqw12eJu6IPMqnUYQJiJwuU6mzBBrEsNAnMwt+ Wst1xZ3ILmE3UlpcjqZ2dX9NuSSJDWuuh+obKHS1xfV19P+Fr4nzvM+ph2juQioEhFn6HB7y 5xO1GPa4JzWDQ0UWJa3U0At9hE8qauIKi86r5jZ03FhK8zW+nfLxs4pCe05yx2hY8YXMaWKE xX3GtEbAM7mIfIjmlygZBYJdO5I86t8M8SjfvqAkKmlWYQo1B+jiG1B/Y15lH6M8C9xYu/Ox ZcMhf+Cn0OGWzr6kFa9o5Xvg4kXAFNaVmG7yCXiGMtQfvgoJddNWTroeZXngIki1PuPEzZC+ VWuBk0LwpqscBuWNBnm2BFIkF8QuTqhkDe5yDp9l3coqLCe1WrA2beHFlJPN2hVSW1llVqpL 5KzioVQUU2tZg40mR/j+Ub9wqVzqaB7LnHPQEwOeDL5ZTIHMOP4pv+ZbshD5Yl9+whSVe26f F2eDIL9pB4X+yLlBWpXgj4hPWLP2N2xj1lxj2STK2x2pXzSdJRrxBvR09fbQOZYwjsMQCQQZ SD/PlGnJJHp+NyVk8yGqeWiTye6UYUVdyD3zISGvS/95GtwABT5kerh0tHgFAE712f82bwIH W3FqRP1ZJTm0+KmMeVic2FlAFv989Z7Ecd5iIR4iJwL2Hccj4mY5jJdyTa1YYgdg/quKiZRD TcQprydqBDowkhiMm6Ey8riW3ORz9EgL9i2b2UK2z4susVDCaOa9rtBzmN+plu1qx6UYOAox G9Mj6tzriRC06dV5FlIrG3VGL0ZEEhGMDa5kh2J64v7t6BLfCO0dqD20kNinNenBbXEowdGW X+/dI1xeE04psh5Ll/I12X+r4/+f9yFJ98WsxSSjhrEyfRVL5c8vvcOgSt/JWP2+3o/xKRo6 H4mlYH/p4WBJ2h3qei0BxtRMCD4Y4UP+jbogI5TmsKXx5yuFdNmADpBD/6KBbq4VTkVs/rgL QOHFjYx/2yaFbToFgia8E56rnjLHsPjJzSNKXIe19knWAiFKRkVnlUPRDtj1M1cdEji1In7f Ux+/DxU+lPotk4G1LdzLxemGmbH+FXzN3FtGcDZdkYJqFkFvRudMNTCvLwvWXsDpdv48lTLc ivCNmEqRSkIQhDWWQ6lZ+H0o4GGq6/CXqK/N6ecP+vI87APEafQg8roiNMu/i7QZJrVeCA+S aRqgAwbGikpfqaR0zQXF35Iy2SUNZPd/FHkvXQp5sGnrKayAFKpvNTQTesUaZI1oli3mfvRb rHLwn8odXAAkMtLnCGtqvBX3UZO2Xs2Jn/9TPJZ736LFOWJxedWF0JJMXotcpYYqftthE8Vf peKwtLtiuwi16BzUQwUEwe73JnuPJ1vQSn1IlrDAAzj2K2uAzrNzom3ZKq9TeYVl+BIr1irv i7dFUb/PzOFnj2vVha1MOgKgjvJdBpZ8JqwdBpgEw2BBJrvdwG7PdlrjDY33ax8h3XEMnQZO CR9dEUFp6OZ7CdRiPFyU2Jb6X8tIe6Bkiefp+7WT/Re+eNsGThxnvlG7W4SzrJU6GRJSKUwl neO6NFppF6in6+EzT8mGBtCpzBXhZ6a6EVvPaKKk/sIEX3A/R8L8SCRE0FQ/4ojWoCp4fgAj ISTx8eRYH9Y/tnZ/NURHZ3RIcODaz86NAbxXSXTFE0DRCKqMmfWgwpcluuT/zubtMtfyNCkl ZwQR7tcTFFwGOkdDxEvEdkHKZFqUzdijb6cicMg6H66rQHNRc4cuYrIHKH3Y72nOHOCgL9Ia gFdi6v/NpgWP5bn1lZKb1B7mMHHFxOVU4wR5CJmaQAwrQNG9300HQhRkwr1Lwiq5nEUD/u9m BU73xB/beoa/zDp+14rJ1DOqUPYdWEwn8/kiHafamypRE9RdYRfCi6xukRod52nH0B6agq9m UEiPzDBFeo5Z1RIeGRviRfAuJAJHuRTH/QsXQ==
  • Ironport-sdr: 665c12c5_z10L8hj6tclYMdQAD20SuHRwpG/3nvJJuUKqwlRI9OPeHta oWa47MPfU3oluVwJJLNuvkt7drRX2yi1aaZCy+A==
Hi,

Thanks for your feedback.

I've created the issue https://gitlab.inria.fr/cado-nfs/cado-nfs/-/issues/30087

What happens is that the rational polynomial that you created is divisible by two. Cado-nfs doesn't like it, but I agree that we should make the message more helpful.

In the meantime, just replace Y0 and Y1 by their quotient by two, and you should be fine.

E.

On Sun, Jun 2, 2024 at 8:13 AM Tyler Busby <tylerbusby333@gmail.com> wrote:
Hi all,

I've been having an issue with las, when running snfs on the following poly:

type: snfs
n: 6308243356277541474700269906466387465649668768698484225212415185330059274620591032895850533983476147609512794703961078700715025072373025789945483489984749281912813659944490431
skew: 1.08
c0: 35
c1: 78
c2: 99
c3: 44
c4: 21
c5: -18
c6: 5
Y0: -58936166401327116551728768515278
Y1: 142284492240361451457225855360802

with the following params file:
name = v2.-1.753
N = 6308243356277541474700269906466387465649668768698484225212415185330059274620591032895850533983476147609512794703961078700715025072373025789945483489984749281912813659944490431
tasks.lim1 = 11000000
tasks.lim0 = 14000000
tasks.lpb1 = 30
tasks.lpb0 = 30
tasks.sieve.mfb1 = 57
tasks.sieve.mfb0 = 58
tasks.sieve.lambda1 = 1.90
tasks.sieve.lambda0 = 1.935
tasks.sieve.ncurves1 = 12
tasks.sieve.ncurves0 = 14
tasks.I = 13
tasks.qmin = 2400000
tasks.sieve.qrange = 10000
tasks.sieve.rels_wanted = 71000000
tasks.filter.purge.keep = 175
tasks.filter.required_excess = 0.04
tasks.filter.target_density = 125.0
tasks.linalg.bwc.interval = 4000
tasks.linalg.bwc.interleaving = 0
tasks.linalg.m = 64
tasks.linalg.n = 64
tasks.linalg.characters.nchar = 50
tasks.polyselect.admin = 0
tasks.polyselect.admax = 0
tasks.polyselect.adrange = 0
tasks.polyselect.import = v2.-1.753/c140.poly
tasks.sieve.sqside = 0
 
It gives me this error for every instance of las:
Error:Lattice Sieving: Program run on localhost failed with exit code -6
Error:Lattice Sieving: Stderr output (last 10 lines only) follow (stored in file /home/brubsby/cado-nfs/v2.-1.753/v2.-1.753.upload/v2.-1.753_sieving_2400000-2410000.fkyp3pkm.stderr0):
Error:Lattice Sieving:  /lib/x86_64-linux-gnu/libstdc++.so.6(+0xae20c) [0x7f070099420c]
Error:Lattice Sieving:  /lib/x86_64-linux-gnu/libstdc++.so.6(+0xae277) [0x7f0700994277]
Error:Lattice Sieving:  /lib/x86_64-linux-gnu/libstdc++.so.6(+0xae4d8) [0x7f07009944d8]
Error:Lattice Sieving:  /home/brubsby/cado-nfs/v2.-1.753/client/download/las(+0x7ff78) [0x55f99038ff78]
Error:Lattice Sieving:  /home/brubsby/cado-nfs/v2.-1.753/client/download/las(+0x190be7) [0x55f9904a0be7]
Error:Lattice Sieving:  /home/brubsby/cado-nfs/v2.-1.753/client/download/las(_ZN11thread_pool20thread_work_on_tasksER13worker_thread+0x91) [0x55f990585c41]
Error:Lattice Sieving:  /home/brubsby/cado-nfs/v2.-1.753/client/download/las(_ZN11thread_pool27thread_work_on_tasks_staticEPv+0x13) [0x55f990585d03]
Error:Lattice Sieving:  /lib/x86_64-linux-gnu/libc.so.6(+0x94ac3) [0x7f07005feac3]
Error:Lattice Sieving:  /lib/x86_64-linux-gnu/libc.so.6(+0x126850) [0x7f0700690850]
Error:Lattice Sieving:

and the mentioned stderr file is :
terminate called after throwing an instance of 'std::runtime_error'
terminate called recursively
  what():  code BUG() : condition rc != 0 failed at /home/brubsby/cado-nfs/sieve/fb.cpp:486
*** Error: caught signal "Aborted"
*** Error: caught signal "Aborted"
======= Backtrace: =========
/home/brubsby/cado-nfs/v2.-1.753/client/download/las(+0x288734) [0x55f990598734]
/lib/x86_64-linux-gnu/libc.so.6(+0x42520) [0x7f07005ac520]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x12c) [0x7f07006009fc]
/lib/x86_64-linux-gnu/libc.so.6(raise+0x16) [0x7f07005ac476]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xd3) [0x7f07005927f3]
/lib/x86_64-linux-gnu/libstdc++.so.6(+0xb042a) [0x7f070099642a]
/lib/x86_64-linux-gnu/libstdc++.so.6(+0xae20c) [0x7f070099420c]
/lib/x86_64-linux-gnu/libstdc++.so.6(+0xae277) [0x7f0700994277]
/lib/x86_64-linux-gnu/libstdc++.so.6(+0xae4d8) [0x7f07009944d8]
/home/brubsby/cado-nfs/v2.-1.753/client/download/las(+0x7ff78) [0x55f99038ff78]
/home/brubsby/cado-nfs/v2.-1.753/client/download/las(+0x190be7) [0x55f9904a0be7]
/home/brubsby/cado-nfs/v2.-1.753/client/download/las(_ZN11thread_pool20thread_work_on_tasksER13worker_thread+0x91) [0x55f990585c41]
/home/brubsby/cado-nfs/v2.-1.753/client/download/las(_ZN11thread_pool27thread_work_on_tasks_staticEPv+0x13) [0x55f990585d03]
/lib/x86_64-linux-gnu/libc.so.6(+0x94ac3) [0x7f07005feac3]
/lib/x86_64-linux-gnu/libc.so.6(+0x126850) [0x7f0700690850]

I couldn't quite make heads or tails of what exactly asserting rc != 0 was keeping from happening, but it doesn't fail until las runs, and msieve doesn't seem to have a problem with the poly.

Thanks,
Tyler

Archive powered by MHonArc 2.6.19+.

Top of Page