org.appliedtopology.tda4j.barcode

Members list

Type members

Experimental classlikes

class Barcode[FiltrationT, AnnotationT]

Attributes

Experimental
true
Supertypes
class Object
trait Matchable
class Any
class BarcodeContext[FiltrationT]()(using evidence$1: Ordering[FiltrationT])

Attributes

Experimental
true
Supertypes
class Object
trait Matchable
class Any
sealed trait BarcodeEndpoint[FiltrationT]

Attributes

Experimental
true
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ClosedEndpoint[FiltrationT]
class NegativeInfinity[FiltrationT]
class OpenEndpoint[FiltrationT]
class PositiveInfinity[FiltrationT]
case class ClosedEndpoint[FiltrationT](value: FiltrationT)(using evidence$1: Ordering[FiltrationT]) extends BarcodeEndpoint[FiltrationT]

Attributes

Experimental
true
Supertypes
trait Serializable
trait Product
trait Equals
trait BarcodeEndpoint[FiltrationT]
class Object
trait Matchable
class Any
Show all
case class NegativeInfinity[FiltrationT]()(using evidence$1: Ordering[FiltrationT]) extends BarcodeEndpoint[FiltrationT]

Attributes

Experimental
true
Supertypes
trait Serializable
trait Product
trait Equals
trait BarcodeEndpoint[FiltrationT]
class Object
trait Matchable
class Any
Show all
case class OpenEndpoint[FiltrationT](value: FiltrationT)(using evidence$1: Ordering[FiltrationT]) extends BarcodeEndpoint[FiltrationT]

Attributes

Experimental
true
Supertypes
trait Serializable
trait Product
trait Equals
trait BarcodeEndpoint[FiltrationT]
class Object
trait Matchable
class Any
Show all
case class PersistenceBar[FiltrationT, AnnotationT](dim: Int, lower: BarcodeEndpoint[FiltrationT], upper: BarcodeEndpoint[FiltrationT], annotation: Option[AnnotationT])(using evidence$1: Ordering[FiltrationT])

A persistence bar has a lower and upper endpoint, where we assume (but do not enforce) that lower < upper in the expected ordering on the filtration type; a dimension; and optionally some annotation (this will be used extensively to carry representative chains in homology computations)

A persistence bar has a lower and upper endpoint, where we assume (but do not enforce) that lower < upper in the expected ordering on the filtration type; a dimension; and optionally some annotation (this will be used extensively to carry representative chains in homology computations)

Type parameters

AnnotationT

Type of the annotation (we would expect this to be Chain).

FiltrationT

Type of the filtration parameter

Attributes

Companion
object
Experimental
true
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Utility functions for working with persistence bars.

Utility functions for working with persistence bars.

For any cases not covered by these simplistic factory method, the programmer gets to instantiate their own PersistenceBar object.

Attributes

Companion
class
Experimental
true
Supertypes
class Object
trait Matchable
class Any
Self type
case class PositiveInfinity[FiltrationT]()(using evidence$1: Ordering[FiltrationT]) extends BarcodeEndpoint[FiltrationT]

Attributes

Experimental
true
Supertypes
trait Serializable
trait Product
trait Equals
trait BarcodeEndpoint[FiltrationT]
class Object
trait Matchable
class Any
Show all

Types

type BarcodeGenerators[FiltrationT, CellT, CoefficientT] = List[PersistenceBar[FiltrationT, Chain[CellT, CoefficientT]]]

Givens

Experimental givens

given given_Ordering_BarcodeEndpoint[FiltrationT](using ord: Ordering[FiltrationT]): given_Ordering_BarcodeEndpoint[FiltrationT]

Attributes

Experimental
true