Struct TropicalNumber 

pub struct TropicalNumber<T>
where
    T: Float,
{ /* private fields */ }

A tropical number in the max-plus semiring

Represents a value in tropical algebra where:

• Addition is max(a, b)
• Multiplication is a + b
• Zero element is -∞
• Unit element is 0

Generic over any floating-point type supporting the Float trait.

Implementations

impl<T> TropicalNumber<T>

where T: Float,

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

Create a new tropical number

Example

use amari_tropical::TropicalNumber;

let t = TropicalNumber::new(3.5);
assert_eq!(t.value(), 3.5);

pub fn value(&self) -> T

Get the underlying value

pub fn zero() -> TropicalNumber<T>

Create tropical zero (-∞)

The additive identity in tropical algebra

pub fn neg_infinity() -> TropicalNumber<T>

Alias for zero() - tropical additive identity

Returns negative infinity, the additive identity in tropical algebra

pub fn tropical_zero() -> TropicalNumber<T>

Alias for zero() - tropical additive identity

pub fn one() -> TropicalNumber<T>

Create tropical one (0)

The multiplicative identity in tropical algebra

pub fn tropical_one() -> TropicalNumber<T>

Alias for one() - tropical multiplicative identity

pub fn is_zero(&self) -> bool

Check if this is tropical zero (-∞)

pub fn is_one(&self) -> bool

Check if this is tropical one (0)

pub fn is_infinity(&self) -> bool

Check if this value represents infinity (tropical zero)

Alias for is_zero() - checks if value is negative infinity

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

Tropical addition: max(self, other)

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

Tropical multiplication: self + other

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

Tropical power: self * k (standard multiplication)

Trait Implementations

impl<T> Add for TropicalNumber<T>

where T: Float,

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

Implements tropical addition as max

type Output = TropicalNumber<T>

The resulting type after applying the + operator.

impl<T> Clone for TropicalNumber<T>

where T: Clone + Float,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for TropicalNumber<T>

where T: Debug + Float,

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

Formats the value using the given formatter.

impl<T> Display for TropicalNumber<T>

where T: Float + Display,

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

Formats the value using the given formatter.

impl<T> Mul for TropicalNumber<T>

where T: Float,

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

Implements tropical multiplication as addition

type Output = TropicalNumber<T>

The resulting type after applying the * operator.

impl<T> PartialEq for TropicalNumber<T>

where T: PartialEq + Float,

fn eq(&self, other: &TropicalNumber<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> Copy for TropicalNumber<T>

where T: Copy + Float,

impl<T> StructuralPartialEq for TropicalNumber<T>

where T: Float,