Enum Number 

pub enum Number {
    Int(BigInt),
    Rat(Rational),
    Bool(bool),
    Nothing,
    Alg(Algebraic),
    Real(ExactReal),
    Hyper(HyperValue),
    Nat(NaturalValue),
    Ord(Ordinal),
    Dep(Box<DependsValue<Number>>),
    Conv(Box<Converging<Number>>),
}

A number of the exact tower. See the module documentation.

Variants

Int(BigInt)

Rat(Rational)

Bool(bool)

Nothing

Alg(Algebraic)

Real(ExactReal)

Hyper(HyperValue)

Nat(NaturalValue)

Ord(Ordinal)

Dep(Box<DependsValue<Number>>)

Conv(Box<Converging<Number>>)

Implementations

impl Number

pub fn arith(op: Op, a: Number, b: Number) -> Result<Number, String>

a op b: the exact tower first, then integers and rationals, exact division exact.

pub fn holds(rel: Rel, a: &Number, b: &Number) -> Result<bool, String>

a rel b, a Bool, or the refusal of an answer that depends on the residue or is provisional.

Trait Implementations

impl Clone for Number

fn clone(&self) -> Number

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Coefficient for Number

fn zero() -> Self

fn one() -> Self

fn of_rational(r: Rational) -> Self

fn add(&self, o: &Self) -> Result<Self, ExpansionError>

fn sub(&self, o: &Self) -> Result<Self, ExpansionError>

fn neg(&self) -> Result<Self, ExpansionError>

fn mul(&self, o: &Self) -> Result<Self, ExpansionError>

fn is_zero(&self) -> Result<bool, ExpansionError>

Whether the coefficient is zero; refused when that cannot be told.

fn recip(&self) -> Result<Self, ExpansionError>

fn sign(&self) -> Result<i32, ExpansionError>

−1, 0 or 1; refused when the sign cannot be told.

fn nth_root(&self, n: u32) -> Result<Self, ExpansionError>

The real n-th root, the nonnegative one for an even n.

fn exp(&self) -> Result<Self, ExpansionError>

exp, for an expansion’s exponential.

fn ln(&self) -> Result<Self, ExpansionError>

The natural logarithm of a positive coefficient, for an expansion’s logarithm.

impl Debug for Number

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl TowerValue for Number

fn exact(&self) -> Option<ExactRef<'_, Self>>

The value as one of the exact types, or None for any other value.

fn standard_rational(&self) -> Option<Rational>

An integer, rational, decimal or finite float as the rational it denotes exactly.

fn integer(&self) -> Option<BigInt>

An Int or big integer.

fn exact_rational(&self) -> Option<Rational>

An integer or a rational: a number held exactly, never a float or a decimal.

fn is_standard_number(&self) -> bool

An integer, rational, decimal or float: its own standard part.

fn text(&self) -> Option<&str>

A Text value’s characters.

fn type_name(&self) -> String

The value’s type as the language names it.

fn display_string(&self) -> String

How the value prints.

fn values_equal(&self, other: &Self) -> bool

The language’s equality on two values.

fn is_nothing(&self) -> bool

Whether the value is nothing.

fn from_rational(r: Rational) -> Self

A rational in its smallest form: an Int when it fits, a big integer, else a rational.

fn from_bigint(b: BigInt) -> Self

An integer in its smallest form.

fn boolean(b: bool) -> Self

fn nothing() -> Self

fn algebraic(a: Algebraic) -> Self

fn exact_real(x: ExactReal) -> Self

fn hyper(h: HyperValue) -> Self

fn natural(n: NaturalValue) -> Self

fn ordinal(o: Ordinal) -> Self

fn depends(d: DependsValue<Self>) -> Self

fn converging(c: Converging<Self>) -> Self