1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
/// This module contains [`rust_bigint::RustBigintRing`], a pure Rust implementation of
/// arbitrary precision integers. It is not very optimized, however
///
/// This module contains the trait [`zn::ZnRing`] for all rings that represent a
/// quotient `Z/nZ` of the integers `Z`. Furthermore, it provides four different
/// implementions, in [`zn::zn_static`], [`zn::zn_big`], [`zn::zn_64`] and [`zn::zn_rns`].
/// This module contains the trait [`poly::PolyRing`] for all rings that represent a
/// univariate polynomial ring `R[X]` over any base ring. Furthermore, it provides
/// two different implementations, in [`poly::dense_poly`] and [`poly::sparse_poly`].
/// This module contains the wrapper [`field::AsField`] that can be used to create a ring
/// implementing [`crate::field::Field`] from rings that are fields, but do not implement
/// the trait (e.g. because being a field for them might be only determinable at runtime).
/// An approximate implementation of the field of complex numbers `C`, using 64-bit floating point
/// numbers.
/// This module contains the trait [`extension::FreeAlgebra`] for rings that are free modules of
/// finite rank over a base ring. It also provides one implementation in
/// [`extension::extension_impl`] based on polynomial division.
/// This module contains the trait [`finite::FiniteRing`] for all rings with finitely many elements.
/// This module contains the trait [`multivariate::MultivariatePolyRing`] for all multivariate
/// polynomial rings.
/// This module contains the trait [`approx_real::ApproxRealField`] for rings that implement
/// approximations to the real numbers, usually using floating-point numbers.
/// This module contains [`rational::RationalField`], which provides an implementation of the field
/// of rational numbers `Q`.
/// This module contains the ring [`mpir::MPZ`] that represents the integers `Z` and uses the
/// heavily optimized arbitrary-precision integer library mpir as implementation.
///
/// Note that to use it, you have to activate the feature "mpir" and provide the compiler with
/// the location of the mpir library file - e.g. by setting `RUSTFLAGS="-L /location/to/mpir/dir"`.
/// This module contains the wrapper [`local::AsLocalPIR`] that wraps a ring to signal that it is a
/// local principal ideal ring [`crate::local::PrincipalLocalRing`].
/// This module contains the trait [`fraction::FractionField`] for rings that are the field of
/// fractions of an underlying domain.
/// Contains [`direct_power::DirectPowerRing`], which models the direct product ring of many
/// copies of a single base ring.