@hackage modular-arithmetic1.2.1.0
A type for integers modulo some constant.
Categories
License
BSD-3-Clause
Maintainer
tikhon@jelv.is
Links
Versions
Installation
Dependencies (1)
Dependents (5)
@hackage/acme-everything, @hackage/enumerate, @hackage/crypto-classical, @hackage/array-forth, @hackage/hmt
A convenient type for working with integers modulo some constant. It saves you from manually wrapping numeric operations all over the place and prevents a range of simple mistakes. Integer is the type of integers (mod 7) backed by Mod 7Integer.
We also have some cute syntax for these types like ℤ/7 for integers modulo 7.