Assume heuristic order when divisors are unresolved

This commit is contained in:
Marek Lemańczyk committed 2025-10-09 23:13:37 +02:00
1 parent a1a9c5f033
commit f196f1fb96
2 files changed
+8 -5

No files matched your search

@@ -118,8 +118,9 @@ internal static partial class PrimeOrderCalculator
return new PrimeOrderResultWide(PrimeOrderStatus.Found, order);
}
HeuristicFailureLog.Record(prime, candidateOrder, HeuristicFailureReason.HeuristicPipelineUnresolved);
return FinishStrictlyWide(prime, divisorData, config.Mode);
HeuristicFailureLog.Record(prime, candidateOrder, HeuristicFailureReason.HeuristicPipelineAssumedFullOrder);
// The heuristic pipeline could not narrow the order any further; assume the current order is final.
return new PrimeOrderResultWide(PrimeOrderStatus.Found, candidateOrder);
}
private static PrimeOrderResultWide FinishStrictlyWide(UInt128 prime, in MontgomeryDivisorData divisorData, PrimeOrderMode mode)