Expand description

Implementations of traits for squaring a number modulo another number.

The traits are ModSquare, ModSquareAssign, and ModSquarePrecomputed. ModSquarePrecomputed is useful when having to make several squarings modulo the same modulus.