Struct dashu_float::Repr

pub struct Repr<const BASE: Word> { /* private fields */ }

Underlying representation of an arbitrary precision floating number.

The floating point number is represented as significand * base^exponent, where the type of the significand is IBig, and the type of exponent is isize. The representation is always normalized (nonzero signficand is not divisible by the base, or zero signficand with zero exponent).

When it’s used together with a Context, its precision will be limited so that |signficand| < base^precision. However, the precision limit is not always enforced. In rare cases, the significand can have one more digit than the precision limit.

Infinity

This struct supports representing the infinity, but the infinity is only supposed to be used as sentinels. That is, only equality test and comparison are implemented for the infinity. Any other operations on the infinity will lead to panic. If an operation result is too large or too small, the operation will panic instead of returning an infinity.

Implementations

impl<const B: Word> Repr<B>

pub fn to_f32(&self) -> Rounded<f32>

Convert the float number representation to a f32 with the default IEEE 754 rounding mode.

The default IEEE 754 rounding mode is HalfEven (rounding to nearest, ties to even). To convert the float number with a specific rounding mode, please use FBig::to_f32.

Examples

assert_eq!(Repr::<2>::one().to_f32(), Exact(1.0));
assert_eq!(Repr::<10>::infinity().to_f32(), Inexact(f32::INFINITY, NoOp));

pub fn to_f64(&self) -> Rounded<f64>

Convert the float number representation to a f64 with the default IEEE 754 rounding mode.

The default IEEE 754 rounding mode is HalfEven (rounding to nearest, ties to even). To convert the float number with a specific rounding mode, please use FBig::to_f64.

Examples

assert_eq!(Repr::<2>::one().to_f64(), Exact(1.0));
assert_eq!(Repr::<10>::infinity().to_f64(), Inexact(f64::INFINITY, NoOp));

pub fn to_int(&self) -> Rounded<IBig>

Convert the float number representation to a IBig.

The fractional part is always rounded to zero. To convert with other rounding modes, please use FBig::to_int().

Warning

If the float number has a very large exponent, it will be evaluated and result in allocating an huge integer and it might eat up all your memory.

To get a rough idea of how big the number is, it’s recommended to use EstimatedLog2.

Examples

assert_eq!(Repr::<2>::neg_one().to_int(), Exact(IBig::NEG_ONE));

Panics

Panics if the number is infinte.

impl<const B: Word> Repr<B>

pub fn from_str_native(src: &str) -> Result<(Self, usize), ParseError>

Convert a string in the native base (i.e. radix B) to Repr.

Upon success, this method returns an Repr and the number of digits (in radix B) contained in the string.

This method is the underlying implementation of FBig::from_str_native, see the docs for that function for details.

impl<const B: Word> Repr<B>

pub const BASE: IBig = _

The base of the representation. It’s exposed as an IBig constant.

pub const fn zero() -> Self

Create a Repr instance representing value zero

pub const fn one() -> Self

Create a Repr instance representing value one

pub const fn neg_one() -> Self

Create a Repr instance representing value negative one

pub const fn infinity() -> Self

Create a Repr instance representing the (positive) infinity

pub const fn neg_infinity() -> Self

Create a Repr instance representing the negative infinity

pub const fn is_zero(&self) -> bool

Determine if the Repr represents zero

Examples

assert!(Repr::<2>::zero().is_zero());
assert!(!Repr::<10>::one().is_zero());

pub const fn is_one(&self) -> bool

Determine if the Repr represents one

Examples

assert!(Repr::<2>::zero().is_zero());
assert!(!Repr::<10>::one().is_zero());

pub const fn is_infinite(&self) -> bool

Determine if the Repr represents the (±)infinity

Examples

assert!(Repr::<2>::infinity().is_infinite());
assert!(Repr::<10>::neg_infinity().is_infinite());
assert!(!Repr::<10>::one().is_infinite());

pub const fn is_finite(&self) -> bool

Determine if the Repr represents a finite number

Examples

assert!(Repr::<2>::zero().is_finite());
assert!(Repr::<10>::one().is_finite());
assert!(!Repr::<16>::infinity().is_finite());

pub const fn sign(&self) -> Sign

Get the sign of the number

Examples

assert_eq!(Repr::<2>::zero().sign(), Sign::Positive);
assert_eq!(Repr::<2>::neg_one().sign(), Sign::Negative);
assert_eq!(Repr::<10>::neg_infinity().sign(), Sign::Negative);

pub fn digits(&self) -> usize

Get the number of digits (under base B) in the significand.

If the number is 0, then 0 is returned (instead of 1).

Examples

assert_eq!(Repr::<2>::zero().digits(), 0);
assert_eq!(Repr::<2>::one().digits(), 1);
assert_eq!(Repr::<10>::one().digits(), 1);

assert_eq!(Repr::<10>::new(100.into(), 0).digits(), 1); // 1e2
assert_eq!(Repr::<10>::new(101.into(), 0).digits(), 3);

pub fn digits_ub(&self) -> usize

Fast over-estimation of digits

Examples

assert_eq!(Repr::<2>::zero().digits_ub(), 0);
assert_eq!(Repr::<2>::one().digits_ub(), 1);
assert_eq!(Repr::<10>::one().digits_ub(), 1);
assert_eq!(Repr::<2>::new(31.into(), 0).digits_ub(), 5);
assert_eq!(Repr::<10>::new(99.into(), 0).digits_ub(), 2);

pub fn digits_lb(&self) -> usize

Fast under-estimation of digits

Examples

assert_eq!(Repr::<2>::zero().digits_lb(), 0);
assert_eq!(Repr::<2>::one().digits_lb(), 0);
assert_eq!(Repr::<10>::one().digits_lb(), 0);
assert!(Repr::<10>::new(1001.into(), 0).digits_lb() <= 3);

pub fn new(significand: IBig, exponent: isize) -> Self

Create a Repr from the significand and exponent. This constructor will normalize the representation.

Examples

let a = Repr::<2>::new(400.into(), -2);
assert_eq!(a.significand(), &IBig::from(25));
assert_eq!(a.exponent(), 2);

let b = Repr::<10>::new(400.into(), -2);
assert_eq!(b.significand(), &IBig::from(4));
assert_eq!(b.exponent(), 0);

pub fn significand(&self) -> &IBig

Get the significand of the representation

pub fn exponent(&self) -> isize

Get the exponent of the representation

pub fn into_parts(self) -> (IBig, isize)

Convert the float number into raw (signficand, exponent) parts

Examples

use dashu_int::IBig;

let a = Repr::<2>::new(400.into(), -2);
assert_eq!(a.into_parts(), (IBig::from(25), 2));

let b = Repr::<10>::new(400.into(), -2);
assert_eq!(b.into_parts(), (IBig::from(4), 0));

Trait Implementations

impl<const B: Word> Clone for Repr<B>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const B: Word> Debug for Repr<B>

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

Formats the value using the given formatter.

impl<'de, const B: Word> Deserialize<'de> for Repr<B>

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl<const B: Word> Display for Repr<B>

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

Formats the value using the given formatter.

impl<const B: Word> EstimatedLog2 for Repr<B>

fn log2_bounds(&self) -> (f32, f32)

Estimate the bounds of the binary logarithm.

fn log2_est(&self) -> f32

Estimate the value of the binary logarithm. It’s calculated as the average of log2_bounds by default.

impl<'a> FromSql<'a> for Repr<10>

fn accepts(ty: &Type) -> bool

Determines if a value of this type can be created from the specified Postgres Type.

fn from_sql(
    ty: &Type,
    raw: &'a [u8]
) -> Result<Self, Box<dyn Error + Sync + Send>>

Creates a new value of this type from a buffer of data of the specified Postgres Type in its binary format.

fn from_sql_null(
    ty: &Type
) -> Result<Self, Box<dyn Error + Sync + Send + 'static, Global>>

Creates a new value of this type from a NULL SQL value.

fn from_sql_nullable(
    ty: &Type,
    raw: Option<&'a [u8]>
) -> Result<Self, Box<dyn Error + Sync + Send + 'static, Global>>

A convenience function that delegates to from_sql and from_sql_null depending on the value of raw.

impl FromSql<Numeric, Pg> for Repr<10>

fn from_sql(bytes: Option<&[u8]>) -> Result<Self>

See the trait documentation.

impl FromSql<Numeric, Pg> for Repr<10>

fn from_sql(bytes: PgValue<'_>) -> Result<Self>

See the trait documentation.

fn from_nullable_sql(
    bytes: Option<<DB as HasRawValue<'_>>::RawValue>
) -> Result<Self, Box<dyn Error + Sync + Send + 'static, Global>>

A specialized variant of from_sql for handling null values.

impl<const B: Word> Neg for Repr<B>

type Output = Repr<B>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<const B: Word> Ord for Repr<B>

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

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl<const BASE: Word> PartialEq<Repr<BASE>> for Repr<BASE>

fn eq(&self, other: &Repr<BASE>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<const B: Word> PartialOrd<Repr<B>> for Repr<B>

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

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<const B: Word> Serialize for Repr<B>

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl ToSql<Numeric, Pg> for Repr<10>

fn to_sql<W: Write>(&self, out: &mut Output<'_, W, Pg>) -> Result

See the trait documentation.

impl ToSql<Numeric, Pg> for Repr<10>

fn to_sql<'b>(&'b self, out: &mut Output<'b, '_, Pg>) -> Result

See the trait documentation.

impl ToSql for Repr<10>

fn accepts(ty: &Type) -> bool

Determines if a value of this type can be converted to the specified Postgres Type.

fn to_sql(
    &self,
    ty: &Type,
    out: &mut BytesMut
) -> Result<IsNull, Box<dyn Error + Sync + Send>>

Converts the value of self into the binary format of the specified Postgres Type, appending it to out.

fn to_sql_checked(
    &self,
    ty: &Type,
    out: &mut BytesMut
) -> Result<IsNull, Box<dyn Error + Sync + Send>>

An adaptor method used internally by Rust-Postgres.

fn encode_format(&self, _ty: &Type) -> Format

Specify the encode format

impl<const B: Word> Zeroize for Repr<B>

fn zeroize(&mut self)

Zero out this object from memory using Rust intrinsics which ensure the zeroization operation is not “optimized away” by the compiler.

impl<const BASE: Word> Eq for Repr<BASE>

impl<const BASE: Word> StructuralEq for Repr<BASE>

impl<const BASE: Word> StructuralPartialEq for Repr<BASE>