jpountz commented on PR #14827: URL: https://github.com/apache/lucene/pull/14827#issuecomment-3032847633
The seed did not reproduce for me, but I think I understand the problem. The code assumes that if `a + b > c` then `a - ε + b <= c` (`ε > 0`). However this is not true with floating-point arithmetics, it may be that `a + b` and `a - ε + b` round to the same value. So the code assumed that docs had to have a score of at least `a`, but that would mistakenly filter out docs whose score was `a - ε`. I pushed a fix. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
