Struct MaxPlusAlgebra 

pub struct MaxPlusAlgebra;

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

Used as the algebra parameter A in TensorPrims<MaxPlusAlgebra>.

Examples

use tenferro_tropical::MaxPlusAlgebra;
use tenferro_prims::{CpuBackend, TensorPrims};

// Check extension support
let has_contract = CpuBackend::has_extension_for::<f64>(
    tenferro_prims::Extension::Contract,
);

Trait Implementations

impl Semiring for MaxPlusAlgebra

Max-plus semiring over MaxPlus<f64>.

• zero() = MaxPlus(−∞)
• one() = MaxPlus(0.0)
• add(a, b) = max(a, b)
• mul(a, b) = a + b (ordinary addition)

type Scalar = MaxPlus<f64>

The scalar type for this semiring.

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 TensorPrims<MaxPlusAlgebra> for CpuBackend

fn has_extension_for<T: ScalarBase>(_ext: Extension) -> bool

Tropical backends do not support extended operations.

type Plan<T: ScalarBase> = TropicalPlan<T>

Backend-specific plan type (no type erasure).

fn plan<T: ScalarBase>( _desc: &PrimDescriptor, _shapes: &[&[usize]], ) -> Result<TropicalPlan<T>>

Create an execution plan from an operation descriptor.

fn execute<T: ScalarBase>( _plan: &TropicalPlan<T>, _alpha: T, _inputs: &[&StridedView<'_, T>], _beta: T, _output: &mut StridedViewMut<'_, T>, ) -> Result<()>

Execute a plan with the given scaling factors and tensor views.