Quantum Computing.
the order o satisfies certain conditions p and q can be obtained easily from o otherwise a new value of m is chosen and another o is determined. Namely if n is odd (which is the case since we know none of the factors is 2) and o is even p = gcd(m^(o/2) + 1, n), q = gcd(m^(o/2) — 1, n) where