Struct MinPlusAlgebra 

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

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

Examples

use tenferro_algebra::Semiring;
use tenferro_ext_tropical::{MinPlus, MinPlusAlgebra};

let z = <MinPlusAlgebra<f64> as Semiring>::zero();
assert_eq!(z, MinPlus(f64::INFINITY));

Trait Implementations

impl Algebra for MinPlusAlgebra<f32>

type Scalar = MinPlus<f32>

The scalar element type for tensors under this algebra.

impl Algebra for MinPlusAlgebra<f64>

type Scalar = MinPlus<f64>

The scalar element type for tensors under this algebra.

impl<T: Clone> Clone for MinPlusAlgebra<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MinPlusAlgebra<T>

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

Formats the value using the given formatter.

impl Semiring for MinPlusAlgebra<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 MinPlusAlgebra<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<MinPlusAlgebra<S>> for CpuBackend

where MinPlusAlgebra<S>: Algebra<Scalar = MinPlus<S>> + Semiring<Scalar = MinPlus<S>>, MinPlus<S>: Scalar + TropicalGemmDispatch,

type Plan = TropicalPlan<MinPlus<S>>

Backend-specific plan type.

type Context = CpuContext

Backend-specific execution context.

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

Plan a semiring-core operation.

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

Execute a semiring-core operation.

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

where MinPlusAlgebra<S>: Algebra<Scalar = MinPlus<S>> + Semiring<Scalar = MinPlus<S>>, MinPlus<S>: Scalar,

type Plan = TropicalPlan<MinPlus<S>>

Backend-specific plan type.

type Context = CpuContext

Backend-specific execution context.

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

Plan an optional semiring fast path.

fn execute( _ctx: &mut CpuContext, _plan: &TropicalPlan<MinPlus<S>>, _alpha: MinPlus<S>, _inputs: &[&Tensor<MinPlus<S>>], _beta: MinPlus<S>, _output: &mut Tensor<MinPlus<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 MinPlusAlgebra<T>