Struct MaxMulAlgebra 

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

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

Examples

use tenferro_algebra::Semiring;
use tenferro_ext_tropical::{MaxMul, MaxMulAlgebra};

let z = <MaxMulAlgebra<f64> as Semiring>::zero();
assert_eq!(z, MaxMul(0.0f64));

Trait Implementations

impl Algebra for MaxMulAlgebra<f32>

type Scalar = MaxMul<f32>

The scalar element type for tensors under this algebra.

impl Algebra for MaxMulAlgebra<f64>

type Scalar = MaxMul<f64>

The scalar element type for tensors under this algebra.

impl<T: Clone> Clone for MaxMulAlgebra<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MaxMulAlgebra<T>

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

Formats the value using the given formatter.

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

where MaxMulAlgebra<S>: Algebra<Scalar = MaxMul<S>> + Semiring<Scalar = MaxMul<S>>, MaxMul<S>: Scalar + TropicalGemmDispatch,

type Plan = TropicalPlan<MaxMul<S>>

Backend-specific plan type.

type Context = CpuContext

Backend-specific execution context.

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

Plan a semiring-core operation.

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

Execute a semiring-core operation.

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

where MaxMulAlgebra<S>: Algebra<Scalar = MaxMul<S>> + Semiring<Scalar = MaxMul<S>>, MaxMul<S>: Scalar,

type Plan = TropicalPlan<MaxMul<S>>

Backend-specific plan type.

type Context = CpuContext

Backend-specific execution context.

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

Plan an optional semiring fast path.

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