Small norm residues from square-root continued fractions

ID: small-norm-residues-from-square-root-continued-fractions

For nonsquare , write the complete quotients after the initial term as . They exceed one, while their algebraic conjugates lie between minus one and zero. Thus . Comparing coefficients in gives , and the last determinant has absolute value one. These small residues are useful candidates for smooth numbers in congruence-of-squares factorization.

New to topics? Read the docs here!