Expand description
Tropical algebra and ordinal-weighted optimization carriers.
amari-tropical currently supports two complementary layers:
- float-oriented max-plus tropical arithmetic via
TropicalNumber,TropicalMatrix, and related utilities - arena-backed ordinals below
ε₀viaOrdinalArenaandOrdinalWeight
Tropical max-plus arithmetic replaces traditional (+ , ×) with (max, +),
which is useful for path/ranking computations, dynamic programming, and
optimization-oriented workloads. The ordinal layer is intentionally bounded to
ordinals below ε₀, and float-oriented modules such as viterbi and polytope
remain separate from that arena-backed substrate.
Re-exports§
pub use error::TropicalError;pub use error::TropicalResult;pub use ordinal::CnfTerm;pub use ordinal::OrdinalArena;pub use ordinal::OrdinalId;pub use ordinal::OrdinalInspection;pub use ordinal::OrdinalKind;pub use ordinal::OrdinalWeight;pub use ordinal::OrdinalWeightInspection;pub use semiring::fold_oplus;pub use semiring::fold_otimes;pub use semiring::Semiring;pub use types::StandardTropical;pub use types::TropicalMatrix;pub use types::TropicalMultivector;pub use types::TropicalNumber;pub use types::ExtendedTropical;
Modules§
- error
- Error types for tropical algebra operations
- ordinal
- Arena-backed ordinals below
ε₀in Cantor normal form. - polytope
- Tropical polytopes for attention pattern visualization
- semiring
- Minimal semiring abstractions for optimization-oriented tropical carriers.
- types
- Core tropical algebra types
- verified
- Verified tropical algebra with phantom types for formal verification
- viterbi
- Viterbi algorithm using tropical algebra
Traits§
- Precision
Float - Unified trait for floating-point arithmetic in scientific computing
Type Aliases§
- Extended
Float - High
Precision Float - Standard
Float - Type alias for standard precision calculations