Struct MaxPlusAlgebra 

pub struct MaxPlusAlgebra<T>(/* private fields */);

Algebra marker for the max-plus tropical semiring (⊕ = max, ⊗ = +).

Generic over the inner scalar type T (typically f32 or f64). Used as the algebra parameter Alg in semiring-family execution traits such as TensorSemiringCore<MaxPlusAlgebra<T>>.

Examples

use tenferro_algebra::Semiring;
use tenferro_ext_tropical::{MaxPlus, MaxPlusAlgebra};

let z = <MaxPlusAlgebra<f64> as Semiring>::zero();
assert_eq!(z, MaxPlus(f64::NEG_INFINITY));
let z32 = <MaxPlusAlgebra<f32> as Semiring>::zero();
assert_eq!(z32, MaxPlus(f32::NEG_INFINITY));

Trait Implementations

impl Algebra for MaxPlusAlgebra<f32>

type Scalar = MaxPlus<f32>

The scalar element type for tensors under this algebra.

impl Algebra for MaxPlusAlgebra<f64>

type Scalar = MaxPlus<f64>

The scalar element type for tensors under this algebra.

impl<T: Clone> Clone for MaxPlusAlgebra<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MaxPlusAlgebra<T>

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

Formats the value using the given formatter.

impl Semiring for MaxPlusAlgebra<f32>

fn zero() -> Self::Scalar

Additive identity element.

fn one() -> Self::Scalar

Multiplicative identity element.

fn add(a: Self::Scalar, b: Self::Scalar) -> Self::Scalar

Semiring addition.

fn mul(a: Self::Scalar, b: Self::Scalar) -> Self::Scalar

Semiring multiplication.

impl Semiring for MaxPlusAlgebra<f64>

fn zero() -> Self::Scalar

Additive identity element.

fn one() -> Self::Scalar

Multiplicative identity element.

fn add(a: Self::Scalar, b: Self::Scalar) -> Self::Scalar

Semiring addition.

fn mul(a: Self::Scalar, b: Self::Scalar) -> Self::Scalar

Semiring multiplication.

impl<S: Scalar + Float> TensorSemiringCore<MaxPlusAlgebra<S>> for CpuBackend

where MaxPlusAlgebra<S>: Algebra<Scalar = MaxPlus<S>> + Semiring<Scalar = MaxPlus<S>>, MaxPlus<S>: Scalar + TropicalGemmDispatch,

type Plan = TropicalPlan<MaxPlus<S>>

Backend-specific plan type.

type Context = CpuContext

Backend-specific execution context.

fn plan( _ctx: &mut CpuContext, desc: &SemiringCoreDescriptor, shapes: &[&[usize]], ) -> Result<TropicalPlan<MaxPlus<S>>>

Plan a semiring-core operation.

fn execute( _ctx: &mut CpuContext, plan: &TropicalPlan<MaxPlus<S>>, alpha: MaxPlus<S>, inputs: &[&Tensor<MaxPlus<S>>], beta: MaxPlus<S>, output: &mut Tensor<MaxPlus<S>>, ) -> Result<()>

Execute a semiring-core operation.

impl<S: Scalar + Float> TensorSemiringFastPath<MaxPlusAlgebra<S>> for CpuBackend

where MaxPlusAlgebra<S>: Algebra<Scalar = MaxPlus<S>> + Semiring<Scalar = MaxPlus<S>>, MaxPlus<S>: Scalar,

type Plan = TropicalPlan<MaxPlus<S>>

Backend-specific plan type.

type Context = CpuContext

Backend-specific execution context.

fn plan( _ctx: &mut CpuContext, _desc: &SemiringFastPathDescriptor, _shapes: &[&[usize]], ) -> Result<TropicalPlan<MaxPlus<S>>>

Plan an optional semiring fast path.

fn execute( _ctx: &mut CpuContext, _plan: &TropicalPlan<MaxPlus<S>>, _alpha: MaxPlus<S>, _inputs: &[&Tensor<MaxPlus<S>>], _beta: MaxPlus<S>, _output: &mut Tensor<MaxPlus<S>>, ) -> Result<()>

Execute an optional semiring fast path.

fn has_fast_path(_desc: SemiringFastPathDescriptor) -> bool

Query whether the optional path is available.

impl<T: Copy> Copy for MaxPlusAlgebra<T>