ABSTRACT

On page 7, we informally agreed upon a definition of primality testing. However, that definition is only one of the types of primality testing, which we now formalize. The following is distinct from the probabilistic kinds that we will study in Section 5.2.