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.