Attributes
- Companion
- class
- Experimental
- true
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
DtmRipsSimplexStream.type
Members list
Type members
Classlikes
Reifies the DTM-Rips 1-skeleton as a FiniteMetricSpace[Int] (doubled 2*t) so it slots into RipserCofaceSimplexStream unchanged for every dimension >= 1, the same trick WitnessMetricSpace uses for the lazy witness complex. '''Not a real metric''' (no triangle-inequality guarantee) -- never hand this to JVPTree/SparseMetricSpace/alpha, only to combinatorial coface generation.
Reifies the DTM-Rips 1-skeleton as a FiniteMetricSpace[Int] (doubled 2*t) so it slots into RipserCofaceSimplexStream unchanged for every dimension >= 1, the same trick WitnessMetricSpace uses for the lazy witness complex. '''Not a real metric''' (no triangle-inequality guarantee) -- never hand this to JVPTree/SparseMetricSpace/alpha, only to combinatorial coface generation.
Attributes
- Supertypes
Value members
Concrete methods
t(f_x, f_y, d) of Prop. 3.5, undoubled -- see the class doc for both closed forms and their derivations.
t(f_x, f_y, d) of Prop. 3.5, undoubled -- see the class doc for both closed forms and their derivations.
Attributes
dim 0 => 2*f(x), dim >= 1 => the inherited "max pairwise (doubled) distance" flag-complex default overreified(a flag complex needs no dimension-specific formula beyond its own edge weights) -- memoized with its ownTrieMap, sinceRipserCofaceSimplexStreamonly memoizes the plain default it builds itself, never a caller-supplied override (same reasoning asCechFiltration`'s own cache).
dim 0 => 2*f(x), dim >= 1 => the inherited "max pairwise (doubled) distance" flag-complex default overreified(a flag complex needs no dimension-specific formula beyond its own edge weights) -- memoized with its ownTrieMap, sinceRipserCofaceSimplexStreamonly memoizes the plain default it builds itself, never a caller-supplied override (same reasoning asCechFiltration`'s own cache).