sim_lib_discrete_algebra/
lib.rs

1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3//! Discrete algebra spine.
4//!
5//! This crate hosts the [`Semiring`] trait, the standard
6//! semiring instances, and a generic dense / coordinate-list sparse matrix with
7//! power and Kleene-closure engines. Graph reachability and all-pairs shortest
8//! paths are *derived* from these (boolean closure, min-plus closure, counting
9//! powers) rather than re-implemented per algorithm.
10//!
11//! Boundary: depends only on `thiserror` (and later `num-bigint`). It must never
12//! depend on `sim-lib-rank` or any music crate.
13
14pub mod boolean;
15pub mod closure;
16pub mod cookbook;
17pub mod counting;
18pub mod error;
19pub mod gf2;
20pub mod matrix;
21pub mod power;
22pub mod real;
23pub mod semiring;
24pub mod sparse;
25pub mod tropical_max;
26pub mod tropical_min;
27pub mod views;
28
29pub use boolean::BoolRing;
30pub use cookbook::{SemiringMatrixDemo, semiring_matrix_demo};
31pub use counting::Counting;
32pub use error::AlgebraError;
33pub use gf2::Gf2;
34pub use matrix::{AlgebraLimits, Matrix};
35pub use real::RealF64;
36pub use semiring::Semiring;
37pub use sparse::{SparseEntry, SparseMatrix};
38pub use tropical_max::MaxPlus;
39pub use tropical_min::MinPlus;
40pub use views::{DiagonalView, IdentityView, PermutationView};
41
42/// Cookbook recipes for this lib, embedded at build time.
43pub static RECIPES: sim_cookbook::EmbeddedDir =
44    include!(concat!(env!("OUT_DIR"), "/cookbook_recipes.rs"));
sim_lib_discrete_algebra/lib.rs

sim_lib_discrete_algebra/
lib.rs
