Module integer

Contains the trait integer::IntegerRing for rings that represent the ring of integers Z.

Modules

generic_tests

Traits

IntCast

Helper trait to simplify conversion between ints.

IntegerRing

Trait for rings that are isomorphic to the ring of integers ZZ = { ..., -2, -1, 0, 1, 2, ... }.

IntegerRingStore

Trait for RingStores that store IntegerRings. Mainly used to provide a convenient interface to the IntegerRing-functions.

Functions

binomial

Computes the binomial coefficient of n and k, defined as n(n - 1)...(n - k + 1)/k!.

int_cast

Conversion of elements between two rings representing the integers ZZ.

Type Aliases

BigIntRing

Type alias for the current default used big integer ring implementation.

BigIntRingBase

Type alias for the current default used big integer ring implementation.