The library contains auxiliary procedures to compute the elliptic
curve primality test of Atkin and the Atkin's Test itself.
The library is intended to be used for teaching purposes but not
for serious computations. Sufficiently high printlevel allows to
control each step, thus illustrating the algorithms at work.