DtmMetricSpace

org.appliedtopology.tda4j.streams.DtmRipsSimplexStream.DtmMetricSpace
class DtmMetricSpace(val ambient: FiniteMetricSpace[Int], val f: IndexedSeq[Double], val p: Double = ...) extends FiniteMetricSpace[Int]

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

Graph
Supertypes
trait FiniteMetricSpace[Int]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def contains(x: Int): Boolean
def distance(x: Int, y: Int): Double

Distance in the metric space. Takes two indices and returns a non-negative real number.

Distance in the metric space. Takes two indices and returns a non-negative real number.

Value parameters

x

Index of first point

y

Index of second point

Attributes

Returns

Distance between x and y

def elements: Iterable[Int]

Access to all points in the metric space. Implemented by eg scala.collections.Range for simple Int-indexed spaces, but this definition gives more space for different underlying possible representations.

Access to all points in the metric space. Implemented by eg scala.collections.Range for simple Int-indexed spaces, but this definition gives more space for different underlying possible representations.

Attributes

Returns

Iterable that returns all points in the metric space

def size: Int

Number of points represented by this metric space.

Number of points represented by this metric space.

Attributes

Concrete fields

val f: IndexedSeq[Double]
val p: Double

Inherited fields

lazy val minimumEnclosingRadius: Double

Beyond this radius, the Vietoris-Rips complex is a cone and will have no further homological structure. See e.g. the Ripser paper, page 412.

Beyond this radius, the Vietoris-Rips complex is a cone and will have no further homological structure. See e.g. the Ripser paper, page 412.

Attributes

Inherited from:
FiniteMetricSpace