Skip to Content.
Sympa Menu

cado-nfs - [cado-nfs] Fwd: [suggestion] better handling of bad relations during postprocessing

Subject: Discussion related to cado-nfs

List archive

[cado-nfs] Fwd: [suggestion] better handling of bad relations during postprocessing


Chronological Thread 
    < Chronological >      < Thread >
  • From: Robert Balfour <rhb11931@gmail.com>
  • To: cado-nfs@inria.fr
  • Subject: [cado-nfs] Fwd: [suggestion] better handling of bad relations during postprocessing
  • Date: Thu, 10 Feb 2022 14:47:04 -0300
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rhb11931@gmail.com; spf=Pass smtp.mailfrom=rhb11931@gmail.com; spf=None smtp.helo=postmaster@mail-yb1-f177.google.com
  • Ironport-data: A9a23:WOCRLaAo+qkBRBVW/x3lw5YqxClBgxIJ4kV8jS/XYbTApDMr0T0Fz GMeWW6HMvbbYTGgeYokbYi38x5SvZKAm9FkOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YLgW1vX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYo2WQg+tM0 Y9wicOfCjkIGqfdvvs2UyANRkmSPYUekFPGCX22sMjW3kefNnW1nKooA0YxMokVvO1wBAmi9 9RCcGFLPk3F3bvnhuvkFYGAhex7RCXvFJkfsCg5nGqAJfkjSJHHBa7N4Le02R9q3p8QTaqDO aL1bxJpMC3ZOTdAeW0zJ9Fl2/uFjGf5dWJx/Qf9Sa0fujCPlmSdyoPFO9PZfZmMS959hVedv muA/mLjAxhcOsb39Nae2nelh+uKjCmiHYxLS+L++fltj1megGcUDXX6SGdXv9Hpk1KFZssFF nBL1WkQjIw45Wq0ZdnECkjQTGG/gjYQXN9ZEusf4Q6Ly7bJ7wvxOoTiZm4RADDBnJ9nLQHGx mNljPuyWmMy6Oz9pWa1s+bL/WnraED5OEdbPXdcJTbp9eUPt23as/4iZtNqEarwn9esXD+pn G/Moy85iLEey8UM0s1XHGwrYRr89vAlrSZvvm07u15JCCsnOuZJgKT2tjDmAQ5odtrxc7V4l CFsdzKixO4PF4qRsyeGXf8AGrqkj97cbmGA3QU2Q8F5q2v9k5JGQWy2yGEuTKuOGpZVEQIFn GeO0e+szMMJZSDyNPcfj3yZUZx2lvKI+SvZugD8N4ISOPCdhSeI+yZhYUP44oweuBlErE3LA r/CKZzEJS9CV8xPlWPqL89Aj+JD7n1hnQv7GMGjpzz6gOH2TCPEGd8tbgDVBshnt/Psnekg2 4wAXyd8404PDrOWj+i+2dJ7EG3m2lBlWc6o+5YKKoZu4GNOQQkcNhMY+pt5E6QNokifvr6gE qiVVhAKxVzhq2fALAnWOHlvZKm+D5l6pHM/eycrOA/wiXQkZI+u6oYZdoc2LeF3rrw9kaYsQ qlXYdiED9ROVi/DpGYQYJz7m4poK0amiAeICCy6bWVtZJVnXQHIpoTpc1K3pikDBya6r+Ukp Lik2l+JSJYPXVUwA8PfafbpxFS05CBPlOV3VkrOA99SZES8qNgwe3Kt1qc6epheJw/Cyz2W0 xetLS0Z/eSd8ZUo9NTphLyfq9j7HuZ7GH1cFTaJ4LuzMx7c4TP/k4JNVeC/fQfdWnnxz6Osa LgH1Pr7KvAGwA9HvocgQbZmyaUyu4nmq7NAlFg2GXzKaxG6AOolLCDZgo9AsapCwrIfsgyzA xrd9t5fMLSPGcXkDF9Be1Z/P7rbjakZymvI8PA4AETm/ysrrrCJZkNfYkuXgytHIbopbY4on bU7tMgN51DtgxYmKIza3CVd9mDJP3ZZFqt+6c5cD4jshQ4mjFpFZMWEWCPx5ZiObfRKM1Urc mDI3vuc3+wEyxqQaWc3GFjMwfFZ2cYEtidMwQJQPF+OgNfE2qI60RA5He7bleiJIsirEt6fO 1SH82VwLKSKuiZi3Y1NBj/zXQ5GAxKd9wr6zF5heKg1iaW3fjSlEYH/Eb/lEIMlH6Z0cT1S/ bXew2HgOdovVN+kxTM8ACaJtNS6JeGcNWT+dASPEMGMHp18aj3g6kNriazktDO/af4MaIb7S SWGMQq+hWAX9cLdnkHjN7Sn6A==
  • Ironport-hdrordr: A9a23:wgdV3Kj01P/Z9p097DOT2sDz0nBQXuMji2hC6mlwRA09TyX4rb HWoB1/73XJYVkqKRQdcLy7Scu9qDbnhP1ICOoqXItKPjOW3FdARbsKheDfKn/bexEWndQtsp uIHZIObuEYzmIXsS852mSF+hobr+VvOZrHudvj
  • Ironport-phdr: A9a23:Jp+z6RWw1YPpFDHjXMs3wfWkQHXV8KyDXzF92vMcY1JmTK2v8tzYM VDF4r011RmVB9+dtasP0bKempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRtEiCC8bL9vI xm6sxndvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2Q rJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6 apgVR3mhzodNzMh/27XhM5/gqJVrhyiuhJx3ZLbbZqPO/ZiZK7QZ88WSXZDU8tXSidPApm8b 4wKD+cZIehYqJLyqEUUrRuiGAKhGfngyjtGhn/xwK06yfkqHAbc3AwgBN0CrWnYodH7OasPS u21w6zIwi/Cb/NSwzvy9I/IchU4rPyKQLl/ftbfx1M1GAPZklWft5blPzWN2+kTsWWV4ORuW P6zhmM7qw9/rDaiy8ksh4TXgo8Z11DJ+yV3zos3KtO0VUB2bcO6HZZMty+WKY97T8MgTm10t ig3zKANt52jfCUS1pgr2xrSZ+aEfoWI+B7vSvudLDNiiH54er+yhRC/+lW6xOLmTMm7ylNKo zJFktbSsnAN0ATe6s2dRft8+ketwDaO2BvO5u1dL0A4iKjWJpw7zr4/kZoTtkvDHivol0nsk KCWcUAk9vCp6+ThfLrmuoeRO5Fohgz6KKgjmcyyDf4mPgQTW2WX4/mw2b/h8EHhRbVFlPw2k q3XsJDAIsQbo7a0AxVV0ok49hqzEjOr3doFkXQcI1JFfQiIj4ntO13UPP/4CvK/j0yqkDhw3 //GJKHuAo3RLnjfl7fsZatx51ZGyAUv1dBf+45UCrYZLf3vQED+qdvYAgY/Mwy62ObqE8591 4MbWWKXGKCVKqLSsVmS5uIuOeaAfoEVuCyuY8QisvXngXh8n1EGVaivx5oeLn6iTdp8JEDMW 33mj80dWU0DugQ5Ufai3EeCW2cKNi3rd6057zA/TomhCNGQFciWnLWd0XLjTdVtbWdcBwXUe Z+JX4CNWvNWLTmXPtckiDsPE76oV44m0xiq8g780btuaOTOqWUDrZy28t9z6qXIkA0qsyRuB pGH02vUFjAvx0sHQjY32OZ0pkkugkyb3/1AiudDXcdW++sPVw47MZDGyOkvEdD4A1uQJY6hR 1OvQ9HgCjY0HZoq29FbRUF7Fp25iwzbmSqnB7hAj7uQGJk96b7RxVD0Lsd5jmfMjewv1gZ5B MRIMmKii+h08A2765fhtUKfmu7qcK0d2HSI72Kf1S+Uu0oeVgdsUKLDVHRZZ03MrN2/6FmQB 7mpQa8qNAdM06vgYuNDd8HpgFNaRfziJMWWYmS/nH21DAqJwbXEZZTjemEU1iHQQEYelAVb8 XGDPAk4TiCvxgCWRCZuHwu2Mhi12eZ7oXK/CEQzykDCbkFs0aa05g9AneaVGLsY2rMJvjtkq i0hRg7smYKLTYDZ9kw4I/oPBLF1qE1K3m/YqQFna5mpLqQ4w0UbbxwypUTlkRN+FoRHl8Eu6 nIs1gt7b6yCgzYjP3uV2479PrrPJyz85heqPuTM2luHiYfNo48A7f05rxPouwTjRS9Auz13l sJY1XeR/MCAFgoYCMugCR8f+B1zprWcaS44rdCcxThnNq+6tSXH0tQiCb4+yxquSNxYNbuNC A74F8By69GGEOUxgBDpaxsFOLoX76soJ4a8cPDA3qe3PeFmlTbgjGJd4Yk73FjevyZ7T+fJ2 d4CzZT6lkOdVz2l1Qb66+j4nIlFYXcZGW/3xSX/BYFXb7F/Zs5RUTboc5DxnIwvwceyBDZR7 xa7CkkD2dO1dBb3DRS1xgBW2UkN4DSmlSa+0z1ogmQsp6ub0jbJxreqfx4GN2hXAWh62A20c M7k0pZABRnuNld2x37HrQ7gyqNWpbpyNTzWSEZMJW3tKn16F7G3vfyEatJO75UhtWNWVv69a BaUUO2YwVNS3iX9Em9Z3D1+eSutv8CzhRxw0TvMdy9bo3/QeMU2zhDaro+5J7YZzn8dSS90h COCTEK8NYDwrI7Nv5jGu+G6EWmmU9cAOTmuxoSGuiyh4GRsChDqhPG/lOrsFg0i2DP63d1nB kCq5F7sJ5Pm3KOgPad7b1FlURXivtFiFNg0wcMgwYsd0n8AitCJ8GobxC3tZM5D1/ubDjJFR CZXkYWIplG0gAs5ci3Pn8WjCj2c2pczOYX8ODhNnHtjt4YST/7FpL1cwXkr/Bzh9ViXOb4l2 W1FrJlmoH8C37NX5kx3knTbUuhURQ4CZWTtj0jasIr49fkRPTf1N+D3jRo2nMj9Xu7e5FgGB TChPM9lRHEVjI03MUqQgiSruse9J4aWPZRL8UfN2xbY07oMd8l3z6tWw3IhYSWk4zUk07Jp1 0Q/m8Hn+tHdeyM1u/vmZ3wQfjztO5FJo2+r0PYYx5fMmdjoR8QpGy1XDsGxE7TyS2NU7q6hb 0HXQXUqo3OfU9IzBCe570Fr5zLKGpGvbTSMIWUBiM9lT1+bLVBehwYdWHM7mIQ4H0ak3p6pd kAx/T0X6lPiz3kEgut1KxnyVHverwa0e381TpaYNh9f8gBF4Q/cL8Wf6ut5GywQ8IemqUSBL WmSZgIACm9sOATMH1f4Iryn/sXN6cCdD+u6aurEOPCA8LMBEfiPwp2r381t+DPNfsSDM39+D uEqj0pOWXcqfqaR0z4LSiERi2fMd5vB/Eb6qnAx9Jnutq20B1GKh8PHEbZZPNRx9grjhK6CM 7TVnyNlMXNC0ZhKw3bUyb8Z1VpUiid0djDrH65T0EyFBK/WhKJTCAYWLi1pM84dpbg81FAUa JWCotzw3798yPUyDh0WMD6p0tHsfsEML2ynYRnfA12XMb2dOTDR68T+YKf5WLcJyesN6EL2t jGcHEvueD+EknO6MnLnefEJhyadMhtEvYi7eRs4EmnvQuXtbRijOcN2hzk7qVXRrnzPPG8Yd zN7dhEVxlVxxSZRg/E6CmYYq3Q8crbClCGe4O3VbJ0RtKkzasybv+1f6XU+jbBS6XMdLME=
  • Ironport-sdr: moPqYjbsF9uzfJpvl3QcyDNbwVkoRDqMiyEJVFYL9cu02586goEPwOgiIjNMlvpQK+MHqOc1Kh e0emTx2JCfXfEbJzVK6ctU5JMWEsYBefCr1sdvCMDzxpXOU1XASSojXfQktw4WvxdzrFv0h7gS 3V8OkkhlepOlOPhseddUbP348jG0Fk3jfzEzHpfXgL4lmiry/OMdQySbIX0TCZQj6dF0BMktUg YY+oi5JNXj8Lkbl3KdG3M7hXQYkCj2effnH2TH+BqEEWRHNc9YZ2RQSq6qk7baisgEEukj98Gk 9jCPlUtPUEfsXKTyo566JlSg
(forgot to copy reply to the list)

---------- Forwarded message ---------
From: Robert Balfour <rhb11931@gmail.com>
Date: Thu, Feb 10, 2022 at 1:09 PM
Subject: Re: [cado-nfs] [suggestion] better handling of bad relations during postprocessing
To: Paul Zimmermann <Paul.Zimmermann@inria.fr>


Dear Paul,

Thank you - that's a very good point that I hadn't considered. I presume even a tasks.filter.ignore_bad_rels option (set to 0 by default) would be off the cards then?

Best,
Robert

On Thu, Feb 10, 2022 at 4:06 AM Paul Zimmermann <Paul.Zimmermann@inria.fr> wrote:
       Dear Robert,

that would be possible, however that would hide potential bugs in the sieving code.
Even if warnings are issued for composite factors, I'm sure nobody will worry about
them. With errors, the good thing is that people do report the corresponding issue,
and the sieving code can be improved.

Best regards,
Paul

> From: Robert Balfour <rhb11931@gmail.com>
> Date: Wed, 9 Feb 2022 18:56:40 -0300
>
>
> [1:text/plain Show]
>
>
> [2:text/html Hide Save:noname (3kB)]
>
> Dear all,
>
> No idea how realistic this is, just something that's been on my mind...
>
> As we know from issue #30012, sieving with -adjust-strategy 2 very occasionally
> produces a relation with a composite factor. Duplicate removal does not handle
> these well and quits, which is unfortunate because strategy 2 is often faster than
> the default.
>
> Msieve's duplicate removal simply throws out any relation with a composite factor,
> as well as any other bad relations, and continues smoothly without quitting. As a
> stopgap solution until #30012 is fixed properly (e.g. by merge request #29), would
> it be possible for CADO to handle bad relations in a similar way? This would make
> strategy 2 more practical for jobs small enough that one doesn't want to manually
> intervene.
>
> Apologies if this would be too difficult to implement - just feels like it ought
> to be easier than a full fix of #30012.
>
> Best,
> Robert

Archive powered by MHonArc 2.6.19+.

Top of Page