Discussion related to cado-nfs

[Paul Zimmermann <Paul.Zimmermann@inria.fr>]

       Dear Ed,

in addition to Emmanuel mail's, it would also be interesting to have a
comparison with a version just before the change in the renumber stuff,
for example commit 122e3868a1ff024da7405206a5859cdb5db05f44 from May 21st.

You forgot to mention that you got a nice speedup in the merge step,
should this be considered as a bug too?

c137: 710996...63  (CADO-NFS commit 5 Sep 2019)
Filtering - Merging: Total cpu/real time for merge: 640.69/514.905

c137: 710996...63  (CADO-NFS commit 22 Aug 2020)
Filtering - Merging: Total cpu/real time for merge: 334.62/26.8521

Best regards,
Paul