⚠️ Actively developed, experimental research code. It undergoes frequent cleanings and refactors, and the API may change without notice.
Discrete geometry of combinatorial objects — complexes, hypergraphs, Hodge/Dirac calculus, Forman–Ricci curvature, simplicial maps, and differential forms on graphs.
Install from the Wolfram Cloud:
PacletInstall["https://www.wolframcloud.com/obj/hajek_pavel/Infrageometry.paclet", ForceVersionInstall -> True]
Needs["WolframInstitute`Infrageometry`"]Test on Example graphs
⚠️ 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 |
|---|---|---|
| Forms and cochains | Vertex-anchored forms vs. clique cochains, the ordered and alternating cochain conventions, wedge/cup/cup-1, and the Steenrod primitive on a torus | LLM |
| Homotopy transfer on graph cochains | A-infinity products, Massey products, and the transfer to cohomology from one Hodge contraction | LLM |
| Vectors and displacements | Algebra of discrete vector fields and their flows | LLM |
| Displacements on graphs | Metric inverse, negative, continuity, commutator, and bracket of graph displacements | LLM |
| Simplicial sets and face graphs | Simplicial sets and the face graphs of complexes | |
| Regular and uniform tessellation graphs | Regular maps and uniform tilings of surfaces, as graphs |