Struct MinPlusAlgebra 

pub struct MinPlusAlgebra;

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

Examples

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

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

Trait Implementations

impl Semiring for MinPlusAlgebra

Min-plus semiring over MinPlus<f64>.

• zero() = MinPlus(+∞)
• one() = MinPlus(0.0)
• add(a, b) = min(a, b)
• mul(a, b) = a + b (ordinary addition)

type Scalar = MinPlus<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<MinPlusAlgebra> 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.