TODO added

PerfectNumbers.Core/PrimeOrderCalculator.cs

@@ -18,8 +18,8 @@ internal static partial class PrimeOrderCalculator
 
     internal readonly struct PrimeOrderSearchConfig(uint smallFactorLimit, int pollardRhoMilliseconds, int maxPowChecks, PrimeOrderMode mode)
     {
-        public static PrimeOrderSearchConfig HeuristicDefault => new(smallFactorLimit: 100_000, pollardRhoMilliseconds: 24, maxPowChecks: 24, PrimeOrderMode.Heuristic);
+        public static readonly PrimeOrderSearchConfig HeuristicDefault = new(smallFactorLimit: 4_000_000, pollardRhoMilliseconds: 24 * 10_240, maxPowChecks: 24, PrimeOrderMode.Heuristic);
-        public static PrimeOrderSearchConfig StrictDefault => new(smallFactorLimit: 1_000_000, pollardRhoMilliseconds: 0, maxPowChecks: 0, PrimeOrderMode.Strict);
+        public static readonly PrimeOrderSearchConfig StrictDefault = new(smallFactorLimit: 1_000_000, pollardRhoMilliseconds: 0, maxPowChecks: 0, PrimeOrderMode.Strict);
 
         public readonly uint SmallFactorLimit = smallFactorLimit;
         public readonly int PollardRhoMilliseconds = pollardRhoMilliseconds;
@@ -134,7 +134,8 @@ internal static partial class PrimeOrderCalculator
     }
 
     private static ulong CalculateInternal(ulong prime, ulong? previousOrder, in MontgomeryDivisorData divisorData, in PrimeOrderSearchConfig config)
-    {
+	{
+		// TODO: Is this condition ever met on EvenPerfectBitScanner's execution path? If not, we can add a clarification comment and comment out the entire block. We want to support p candidates at least greater or equal to 31.
         if (prime <= 3UL)
         {
             return prime == 3UL ? 2UL : 1UL;
@@ -428,8 +429,8 @@ internal static partial class PrimeOrderCalculator
 
             // DebugLog(() => $"Checking candidates ({candidateCount} candidates, {powBudget} pow budget)");
             int index = 0;
-            const int MaxGpuBatchSize = 1024;
+            const int MaxGpuBatchSize = 256;
-            const int StackGpuBatchSize = 1024;
+            const int StackGpuBatchSize = 64;
             Span<ulong> stackGpuRemainders = stackalloc ulong[StackGpuBatchSize];
             while (index < candidateCount && powUsed < powBudget)
             {