ocas-domain 0.13.1

Algebraic domains and number types for oCAS
Documentation 
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

//! Algebraic domains and number types for oCAS.

#![warn(missing_docs)]

pub mod assumptions;
pub mod complex;
pub mod domain;
pub mod finite_field;
pub mod integer;
pub mod number_theory;
pub mod rational;
pub mod real_ball;

#[cfg(feature = "gmp")]
pub mod gmp_backend;

pub use assumptions::{Assumption, Assumptions, SymbolAssumptions};
pub use complex::{Complex, ComplexDomain};
pub use domain::{Domain, EuclideanDomain};
pub use finite_field::{FiniteField, FiniteFieldElement};
pub use integer::IntegerDomain;
pub use rational::RationalDomain;
pub use real_ball::{RealBall, RealBallDomain};

#[cfg(not(feature = "gmp"))]
pub use integer::Integer;
#[cfg(not(feature = "gmp"))]
pub use rational::Rational;

#[cfg(feature = "gmp")]
pub use gmp_backend::{Integer, Rational};