modular-arithmetic: A type for integers modulo some constant.

[ bsd3, library, math ] [ Propose Tags ] [ Report a vulnerability ]

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 Mod 7 is the type of integers (mod 7) backed by Integer. We also have some cute syntax for these types like ℤ/7 for integers modulo 7.

[Skip to Readme]

Modules

[Index] [Quick Jump]

Data
- Data.Modular

Downloads

modular-arithmetic-2.0.0.3.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

TikhonJelvis

For package maintainers and hackage trustees

edit package information

Candidates

1.2.1.0, 2.0.0.0, 2.0.0.1

Versions [RSS]	1.0.0.0, 1.0.0.1, 1.0.1.0, 1.0.1.1, 1.1.0.0, 1.2.0.0, 1.2.1.0, 1.2.1.1, 1.2.1.2, 1.2.1.3, 1.2.1.4, 1.2.1.5, 2.0.0.0, 2.0.0.1, 2.0.0.2, 2.0.0.3 (info)
Change log	CHANGELOG.md
Dependencies	base (>4.9 && <5), typelits-witnesses (<0.5) [details]
License	BSD-3-Clause
Author	Tikhon Jelvis <tikhon@jelv.is>
Maintainer	Tikhon Jelvis <tikhon@jelv.is>
Category	Math
Home page	https://github.com/TikhonJelvis/modular-arithmetic
Bug tracker	https://github.com/TikhonJelvis/modular-arithmetic/issues
Source repo	head: git clone git://github.com/TikhonJelvis/modular-arithmetic.git
Uploaded	by TikhonJelvis at 2023-06-08T23:35:44Z
Distributions	NixOS:2.0.0.3
Reverse Dependencies	5 direct, 16 indirect [details]
Downloads	10347 total (20 in the last 30 days)
Rating	2.25 (votes: 2) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2023-06-09 [all 1 reports]

Readme for modular-arithmetic-2.0.0.3

[back to package description]

Modular Arithmetic

This package provides a type for integers modulo some constant, usually written as ℤ/n.

Here is a quick example:

>>> 10 * 11 :: ℤ/7
5

It also works correctly with negative numeric literals:

>>> (-10) * 11 :: ℤ/7
2

Modular division is an inverse of modular multiplication. It is defined when divisor is coprime to modulus:

>>> 7 `div` 3 :: ℤ/16
13
>>> 3 * 13 :: ℤ/16
7