Commit 2026-03-10 23:22 e2063441

feat(Analysis/Convex/SimplicialComplex): add AbstractSimplicialComplex + constructions (#33364) This adds the concept of abstract simplicial complex (and refactors SimplicialComplex in terms of it). It also adds constructions that makes it easy to define a simplicial complex for any index family of points which is downward closed and which is affinely independent. I also include a construction of (abstract and geometric) simplicial complexes associated with a SimpleGraph, where vertices become 0-faces and edges become 1-faces, which could be useful later in defining the topological notion of a graph embedding.