Finally, is the factoring of the different

values for the continued fraction algorithm only by trial division? Of course, we have that for a prime p to be a factor of

, then p should satisfy the Legendre Symbol
)
= 0 or 1.
Further, we have that properties of dividing by using brute force techniques only upto the Factor Base primes, and then discarding away those relations, whose cofactor is greater than the Upper Bound.
Do we have any other constraints or conditions for the factoring of the various

values for this algorithm?
For the Quadratic Sieve algorithm, we have that if a prime p divides

, then
)
, hence we need to check for the prime factor p for only those values of x, that which are congruent to the value of
Anything else that is like that case for this continued fraction factoring algorithm? Of course, for the optimizations, for ever.