The Field Zq
Zq
is a field for q prime.
Zq_aux
.