⚠️ Actively developed, experimental research code. It undergoes frequent cleanings and refactors, and the API may change without notice.
Discrete geometry of combinatorial objects — complexes and their closures, hypergraphs, Hodge/Dirac calculus, Green and connection matrices, Lefschetz theory, persistence, simplicial sets and maps, meshes, quantum calculus, and Forman–Ricci curvature.
Nothing here needs a distance. Everything that does now lives in SyntheticInfrageometry: the metric layer — balls, shells, tubes, volume growth, Ollivier curvature, resistance, coordinatization, displacements, tessellations, InfraSubstrate — left in 2.0.0, and the calculus on complexes — differential forms and cochains, the ball-intersection complexes and their filtrations — in 3.0.0 (both 2026-09-22). The two paclets are independent; neither imports the other.
Install from the Wolfram Cloud:
PacletInstall["https://www.wolframcloud.com/obj/hajek_pavel/Infrageometry.paclet", ForceVersionInstall -> True]
Needs["WolframInstitute`Infrageometry`"]
⚠️ LLM versions generated directly from the codebase via ClaudePluginComputationalResearch with no warranty of correctness. Humans are welcome to publish their own versions alongside.
| Notebook | Description | Versions |
|---|---|---|
| Simplicial sets and face graphs | Simplicial sets and the face graphs of complexes |
The forms-and-cochains and homotopy-transfer notebooks describe symbols that moved; they are listed in the SyntheticInfrageometry README.