Struct MaxMul 

#[repr(transparent)]
pub struct MaxMul<T>(pub T);

Max-times tropical scalar: ⊕ = max, ⊗ = ×.

Used for probabilistic models where you want the most likely path (Viterbi algorithm with probabilities in [0, 1]).

Examples

use tenferro_tropical::MaxMul;

let a = MaxMul(0.3_f64);
let b = MaxMul(0.7_f64);

// Tropical addition = max
let c = a + b;   // MaxMul(0.7)

// Tropical multiplication = ordinary multiplication
let d = a * b;   // MaxMul(0.21)

Tuple Fields

0: T

Trait Implementations

impl<T: Copy + PartialOrd> Add for MaxMul<T>

fn add(self, _rhs: Self) -> Self

Tropical addition: max(a, b).

type Output = MaxMul<T>

The resulting type after applying the + operator.

impl<T: Clone> Clone for MaxMul<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MaxMul<T>

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

Formats the value using the given formatter.

impl<T: Display> Display for MaxMul<T>

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

Formats the value using the given formatter.

impl HasAlgebra for MaxMul<f32>

type Algebra = MaxMulAlgebra

The algebra associated with this scalar type.

impl HasAlgebra for MaxMul<f64>

type Algebra = MaxMulAlgebra

The algebra associated with this scalar type.

impl<T: Copy + Mul<Output = T>> Mul for MaxMul<T>

fn mul(self, _rhs: Self) -> Self

Tropical multiplication: a × b (ordinary multiplication).

type Output = MaxMul<T>

The resulting type after applying the * operator.

impl<T: Float> One for MaxMul<T>

fn one() -> Self

Multiplicative identity: 1.

fn set_one(&mut self)

Sets self to the multiplicative identity element of Self, 1.

fn is_one(&self) -> bool

where Self: PartialEq,

Returns true if self is equal to the multiplicative identity.

impl<T: PartialEq> PartialEq for MaxMul<T>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<T: PartialOrd> PartialOrd for MaxMul<T>

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<T: Float> Zero for MaxMul<T>

fn zero() -> Self

Additive identity: 0 (for max, 0 is the identity when values are non-negative).

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<T: Copy> Copy for MaxMul<T>

impl<T> StructuralPartialEq for MaxMul<T>