Expand description
Tropical algebra markers, HasAlgebra, and Semiring implementations.
Each zero-sized struct identifies a tropical algebra for use with
semiring-family execution traits such as
TensorSemiringCore<Alg>. The orphan
rule is satisfied because the algebra markers are defined in this crate.
| Algebra marker | Scalar wrapper | ⊕ | ⊗ |
|---|---|---|---|
MaxPlusAlgebra<T> | MaxPlus<T> | max | + |
MinPlusAlgebra<T> | MinPlus<T> | min | + |
MaxMulAlgebra<T> | MaxMul<T> | max | × |
Structs§
- MaxMul
Algebra - Algebra marker for the max-times tropical semiring (⊕ = max, ⊗ = ×).
- MaxPlus
Algebra - Algebra marker for the max-plus tropical semiring (⊕ = max, ⊗ = +).
- MinPlus
Algebra - Algebra marker for the min-plus tropical semiring (⊕ = min, ⊗ = +).