WORKED DEFAULT
Check the calculation with the default inputs
For p = 17, candidate 3 passes the factor tests and has order 16, so the least primitive root is 3.
- Factor group order16 = 2^4
- Test candidate3^(16/2) is not 1 modulo 17
- Confirm orderord_17(3) = 16