Module integers 

A collection of traits and macros which convert primitive integer types into field elements.

Traits

QuotientMap

Implementation of the quotient map ℤ -> ℤ/p which sends an integer r to its conjugacy class [r].