Expand description
Contains the trait integer::IntegerRing for rings that represent the ring of integers Z.
Modules§
- generic_
impls - Implementations of
IntegerRingfunctionality that make sense for anyIntegerRing, and thus can be used as default if no better implementation can be provided for a concreteIntegerRing. - generic_
tests generic_tests
Traits§
- IntCast
- Helper trait to simplify conversion between ints.
- Integer
Ring - Trait for rings that are isomorphic to the ring of integers
ZZ = { ..., -2, -1, 0, 1, 2, ... }. - Integer
Ring Store - Trait for
RingStores that storeIntegerRings. Mainly used to provide a convenient interface to theIntegerRing-functions.
Functions§
- binomial
unstable-enable - Computes the binomial coefficient of
nandk, defined asn(n - 1)...(n - k + 1)/k!. - factorial
unstable-enable - Availability
- int_
cast - Conversion of elements between two rings representing the integers
ZZ.
Type Aliases§
- BigInt
Ring mpir - Type alias for the current default used big integer ring implementation.
- BigInt
Ring Base mpir - Type alias for the current default used big integer ring implementation.