SimplicialSetStream

org.appliedtopology.tda4j.streams.SimplicialSetStream
See theSimplicialSetStream companion class

Attributes

Companion
class
Experimental
true
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def fromStream[VertexT : Ordering](stream: CellStream[Simplex[VertexT], _]): FiniteSimplicialSet[Simplex[VertexT]]

Builds a FiniteSimplicialSet from any stream of simplices: the faces of a genuinely-ordered simplex (a strictly increasing vertex tuple) are always non-degenerate -- removing one entry from a strictly increasing sequence leaves it strictly increasing -- so every generator's face data is a bare (non-degenerate) generator, word = Nil throughout. This exercises none of the degeneracy machinery in SSetElement.scala; it's a plumbing adapter, cross-validated against SimplicialHomologyContext run directly on the same stream, not evidence that faceOf/insertOuter themselves are correct -- that comes only from the hand-built fixtures.

Builds a FiniteSimplicialSet from any stream of simplices: the faces of a genuinely-ordered simplex (a strictly increasing vertex tuple) are always non-degenerate -- removing one entry from a strictly increasing sequence leaves it strictly increasing -- so every generator's face data is a bare (non-degenerate) generator, word = Nil throughout. This exercises none of the degeneracy machinery in SSetElement.scala; it's a plumbing adapter, cross-validated against SimplicialHomologyContext run directly on the same stream, not evidence that faceOf/insertOuter themselves are correct -- that comes only from the hand-built fixtures.

Takes CellStream[Simplex[VertexT], ?], not the narrower SimplexStream[VertexT, ?]: the actual Vietoris-Rips streams in this codebase (EnumeratingCofaceSimplexStream and its relatives) are CofaceSimplexStream/StratifiedCellStream, a sibling of SimplexStream under CellStream, not a subtype of it -- SimplexStream alone would silently reject the streams "any simplicial stream" actually means in practice, caught by trying this against a real VR stream while validating this builder.

Attributes