You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
if (!(canonWTNorm == "PRP") && !knownFactors.empty()) {
369
369
canon << knownFactorStr; // factors
370
370
}
371
-
canon << ";";
371
+
canon << ";";
372
+
if ((canonWTNorm == "PRP") && !knownFactors.empty()) {
373
+
canon << knownFactorStr; // factors
374
+
}
375
+
372
376
canon << "" << ";"; // known-factors *** TODO: not yet supported (factors that were known BEFORE this factoring run and included in worktodo.txt, distinct from factors just found ***
0 commit comments