sheaf-coherence 0.1.0

Sheaf coherence for distributed constraint satisfaction and topological data analysis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! # sheaf-coherence
//!
//! Sheaf-theoretic multi-agent knowledge consistency.
//!
//! Each agent maintains a local section over an open cover of a shared
//! information space. The library computes sheaf cohomology groups H⁰
//! (global consistency) and H¹ (local-to-global obstructions) to detect
//! and repair contradictions across a fleet of agents.

pub mod cover;
pub mod section;
pub mod cochain;
pub mod obstruction;
pub mod gluing;
pub mod persistence;

pub use cover::{OpenCover, RestrictionMap};
pub use section::LocalSection;
pub use cochain::CohomologyGroup;
pub use obstruction::ObstructionClass;