Module domain
Defines an evaluation domain over a prime field. The domain is a coset of size 1<<dim.
1<<dim