TropicalNumber

Struct TropicalNumber 

Source
pub struct TropicalNumber<T>(pub T)
where
    T: Float;
Expand description

A number in the tropical (max-plus) semiring

Tropical addition is max, tropical multiplication is addition

Tuple Fields§

§0: T

Implementations§

Source§

impl<T> TropicalNumber<T>
where T: Float,

Source

pub fn neg_infinity() -> TropicalNumber<T>

Additive identity (negative infinity)

Source

pub fn zero() -> TropicalNumber<T>

Multiplicative identity (zero in regular arithmetic)

Source

pub fn tropical_zero() -> TropicalNumber<T>

Additive identity (same as neg_infinity for tropical)

Source

pub fn tropical_one() -> TropicalNumber<T>

Multiplicative identity (same as zero for tropical)

Source

pub fn new(value: T) -> TropicalNumber<T>

Create from regular number

Source

pub fn value(&self) -> T

Get the underlying value

Source

pub fn is_zero(&self) -> bool

Check if this is the zero element (negative infinity)

Source

pub fn is_one(&self) -> bool

Check if this is the one element (zero)

Source

pub fn is_infinity(&self) -> bool

Check if this is infinite (either positive or negative)

Source

pub fn tropical_add(self, other: TropicalNumber<T>) -> TropicalNumber<T>

Tropical addition (max operation)

Source

pub fn tropical_mul(self, other: TropicalNumber<T>) -> TropicalNumber<T>

Tropical multiplication (addition)

Source

pub fn tropical_pow(self, n: T) -> TropicalNumber<T>

Tropical power (scalar multiplication)

Source

pub fn from_log_prob(log_p: T) -> TropicalNumber<T>

Convert from log-probability to tropical number

Source

pub fn to_prob(self) -> T

Convert tropical number back to probability (via exp)

Source§

impl TropicalNumber<f64>

Source§

impl TropicalNumber<f32>

Trait Implementations§

Source§

impl<T> Add for TropicalNumber<T>
where T: Float,

Source§

type Output = TropicalNumber<T>

The resulting type after applying the + operator.
Source§

fn add(self, other: TropicalNumber<T>) -> TropicalNumber<T>

Performs the + operation. Read more
Source§

impl<T> Clone for TropicalNumber<T>
where T: Clone + Float,

Source§

fn clone(&self) -> TropicalNumber<T>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T> Debug for TropicalNumber<T>
where T: Debug + Float,

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T> Mul for TropicalNumber<T>
where T: Float,

Source§

type Output = TropicalNumber<T>

The resulting type after applying the * operator.
Source§

fn mul(self, other: TropicalNumber<T>) -> TropicalNumber<T>

Performs the * operation. Read more
Source§

impl<T> Neg for TropicalNumber<T>
where T: Float,

Source§

type Output = TropicalNumber<T>

The resulting type after applying the - operator.
Source§

fn neg(self) -> TropicalNumber<T>

Performs the unary - operation. Read more
Source§

impl<T> PartialEq for TropicalNumber<T>
where T: PartialEq + Float,

Source§

fn eq(&self, other: &TropicalNumber<T>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<T> PartialOrd for TropicalNumber<T>
where T: PartialOrd + Float,

Source§

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

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
Source§

impl<T> Copy for TropicalNumber<T>
where T: Copy + Float,

Source§

impl<T> StructuralPartialEq for TropicalNumber<T>
where T: Float,

Auto Trait Implementations§

§

impl<T> Freeze for TropicalNumber<T>
where T: Freeze,

§

impl<T> RefUnwindSafe for TropicalNumber<T>
where T: RefUnwindSafe,

§

impl<T> Send for TropicalNumber<T>
where T: Send,

§

impl<T> Sync for TropicalNumber<T>
where T: Sync,

§

impl<T> Unpin for TropicalNumber<T>
where T: Unpin,

§

impl<T> UnwindSafe for TropicalNumber<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

fn is_in_subset(&self) -> bool

Checks if self is actually part of its subset T (and can be converted to it).
Source§

fn to_subset_unchecked(&self) -> SS

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> ClosedNeg for T
where T: Neg<Output = T>,

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,