Home My Page Projects cado-nfs
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

[#21374] F9_sublattest fails.

Date:
2017-06-13 21:27
Priority:
3
State:
Open
Submitted by:
Emmanuel Thomé (thome)
Assigned to:
Nobody (None)
Hardware:
none
Product:
none
Operating System:
none
Component:
none
Version:
none
Severity:
none
Resolution:
none
URL:
Summary:
F9_sublattest fails.

Detailed description
I don't know whether _I_ broke it. It seems it's been broken from the start.

CADO_DEBUG=1 CHECKS_EXPENSIVE=1 DEBUG=1 make -j8 F9_sublattest_dependencies && CADO_DEBUG=1 CHECKS_EXPENSIVE=1 DEBUG=1 make check ARGS="-R F9_sublattest"

(well, you probably want to do all the F9 tests anyway because of that good ol' stupid misfeature).

Relation -113654,66679 is no longer printed.

trace_k output attached, but it does not make much sense.

I compared 6a80149 (old, birth of the sublat test) and 924769 (head of the sublat branch).

Note: two important differences.

- the log scale has changed, because I dropped the "maxlog2+=2", which makes no sense to me.
- the new lognorm code is more accurate.

So it could well be that rounding is at fault here, and it could play the other way around someday.

Also note that the sieve checksums have changed, although this per se is more probably related to the lognorm code having changed (even for the old commit, the check fails).

E.
Message  ↓
Date: 2017-06-14 06:30
Sender: Paul Zimmermann

I cannot reproduce with master, is that specific to the sublat branch?

Attachments:
Size Name Date By Download
49 KiBold.txt2017-06-13 21:27thomeold.txt
45 KiBnew.txt2017-06-13 21:27thomenew.txt
Field Old Value Date By
File Added6052: old.txt2017-06-13 21:27thome
File Added6053: new.txt2017-06-13 21:27thome