Struct MaxMulAlgebra 

pub struct MaxMulAlgebra;

Algebra marker for the max-times tropical semiring (⊕ = max, ⊗ = ×).

Examples

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

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

Trait Implementations

impl Semiring for MaxMulAlgebra

Max-times semiring over MaxMul<f64>.

• zero() = MaxMul(0.0)
• one() = MaxMul(1.0)
• add(a, b) = max(a, b)
• mul(a, b) = a × b (ordinary multiplication)

type Scalar = MaxMul<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<MaxMulAlgebra> 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.