Struct Adelic 

pub struct Adelic<F: Finite> { /* private fields */ }

A value carried at the finite places (F) and the infinite place (Ball).

Implementations

impl<F: Finite> Adelic<F>

pub fn from_parts(finite: F, infinite: Ball) -> Self

Assemble from a finite component and its real enclosure.

pub fn ball(&self) -> &Ball

The infinite (real) component.

pub fn finite(&self) -> &F

The finite (RNS) component.

pub fn sign(&self) -> Option<Sign>

Sign, from the infinite place (the only place that can see it).

pub fn cmp(&self, other: &Self) -> Option<Ordering>

Ordering, from the infinite place (None ⇒ refine).

pub fn to_f64(&self) -> f64

Nearest f64.

pub fn add(&self, o: &Self) -> Self

Addition (updates both places).

pub fn sub(&self, o: &Self) -> Self

Subtraction (updates both places).

pub fn mul(&self, o: &Self) -> Self

Multiplication (updates both places).

pub fn with_basis(&self, basis: Basis) -> Self

Re-encode the finite part over a (possibly larger) basis. Requires the infinite place to pin the exact value (true for all integer values and for any width-0 ball).

impl Adelic<RnsInt>

pub fn from_bigint(n: &BigInt, basis: Basis) -> Self

From an exact BigInt over basis (the infinite place pins the value).

pub fn from_i64(n: i64, basis: Basis) -> Self

From a machine integer.

pub fn try_exact(&self) -> Result<BigInt, RangeError>

The exact integer, or RangeError::ReconstructionFailed if the finite reconstruction disagrees with the infinite place (basis too small).

impl Adelic<RnsFrac>

pub fn from_fraction(p: &BigInt, q: &BigInt, basis: Basis) -> Self

From an exact reduced p/q over basis.

pub fn try_exact(&self) -> Result<(BigInt, BigInt), RangeError>

The exact (p, q), or a detected reconstruction failure.

Trait Implementations

impl<F: Clone + Finite> Clone for Adelic<F>

fn clone(&self) -> Adelic<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.