Struct TropicalMatrix 

pub struct TropicalMatrix<T>
where
    T: Float,
{
    pub rows: usize,
    pub cols: usize,
    pub data: Vec<Vec<TropicalNumber<T>>>,
}

A matrix in tropical algebra

Stores elements as a 2D vector with dimensions (rows × cols). Matrix operations follow tropical semiring rules:

• Matrix addition: element-wise max
• Matrix multiplication: tropical matrix product

Fields

rows: usize

cols: usize

data: Vec<Vec<TropicalNumber<T>>>

Implementations

impl<T> TropicalMatrix<T>

where T: Float,

pub fn new(rows: usize, cols: usize) -> TropicalMatrix<T>

Create a new tropical matrix with given dimensions

Initializes all elements to tropical zero (-∞)

pub fn from_vec(data: Vec<Vec<T>>) -> Result<TropicalMatrix<T>, TropicalError>

Create a tropical matrix from raw 2D data

Data must be a Vec of rows, where each row is a Vec of values

pub fn dims(&self) -> (usize, usize)

Get matrix dimensions (rows, cols)

pub fn rows(&self) -> usize

Get number of rows

pub fn cols(&self) -> usize

Get number of columns

pub fn get( &self, row: usize, col: usize, ) -> Result<TropicalNumber<T>, TropicalError>

Get element at (row, col)

pub fn set( &mut self, row: usize, col: usize, value: TropicalNumber<T>, ) -> Result<(), TropicalError>

Set element at (row, col)

pub fn identity(size: usize) -> TropicalMatrix<T>

Create tropical identity matrix

Diagonal elements are tropical one (0), off-diagonal are tropical zero (-∞)

pub fn from_log_probs(log_probs: &[Vec<T>]) -> TropicalMatrix<T>

Create tropical matrix from log probabilities

In tropical algebra, log probabilities are natural since:

• log(p1 * p2) = log(p1) + log(p2) (tropical multiplication)
• log(max(p1, p2)) ≈ max(log(p1), log(p2)) (tropical addition)

This method converts a 2D array of log probabilities into a tropical matrix.

pub fn tropical_matmul( &self, other: &TropicalMatrix<T>, ) -> Result<TropicalMatrix<T>, TropicalError>

Tropical matrix multiplication

(A ⊗ B)[i,j] = max_k(A[i,k] + B[k,j])

pub fn data(&self) -> &Vec<Vec<TropicalNumber<T>>>

Get the underlying data as a 2D vector

pub fn data_mut(&mut self) -> &mut Vec<Vec<TropicalNumber<T>>>

Get mutable access to the underlying data

Trait Implementations

impl<T> Clone for TropicalMatrix<T>

where T: Clone + Float,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for TropicalMatrix<T>

where T: Debug + Float,

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

Formats the value using the given formatter.

impl<T> Display for TropicalMatrix<T>

where T: Float + Display,

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

Formats the value using the given formatter.

impl<T> PartialEq for TropicalMatrix<T>

where T: PartialEq + Float,

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

where T: Float,