SpectralSequences / sseq

The root repository for the SpectralSequences project.
Apache License 2.0
22 stars 10 forks source link

Ensure odd primes aren't defined when `odd-primes` is disabled #151

Closed JoeyBF closed 5 months ago

JoeyBF commented 5 months ago

Since we moved to typed primes instead of const u32s in #145, it makes more sense to have 2 be the only prime that's defined when odd-primes is disabled. This gives us a type-level sanity check that all prime operations will be over 2, no matter which P: Prime is used as the generic.