TDA4j
API
Generated with
TDA4j/org.appliedtopology.tda4j/TDAContext

TDAContext

org.appliedtopology.tda4j.TDAContext
class TDAContext[VertexT, CoefficientT, FiltrationT] extends SimplicialHomologyContext[VertexT, CoefficientT, FiltrationT]

Thin user-facing facade over SimplicialHomologyContext: brings Chain's own RingModule arithmetic (+/-/⊠/etc.) into scope on Simplex values directly, via export plus an implicit Simplex -> Chain widening -- convenience for interactive/notebook-style use, never itself consulted by an engine (see CLAUDE.md's generic-given-capture note).

Attributes

Experimental
true
Graph
Supertypes
class SimplicialHomologyContext[VertexT, CoefficientT, FiltrationT]
class CellularHomologyContext[Simplex[VertexT], CoefficientT, FiltrationT]
class Object
trait Matchable
class Any

Members list

Type members

Inherited classlikes

class HomologyState(boundaries: Map[CellularHomologyContext.this.CellT, Chain[CellularHomologyContext.this.CellT, CellularHomologyContext.this.CoefficientT]], generators: Map[CellularHomologyContext.this.CellT, Chain[CellularHomologyContext.this.CellT, CellularHomologyContext.this.CoefficientT]], val positives: Map[CellularHomologyContext.this.CellT, (CellularHomologyContext.this.FiltrationT, Chain[CellularHomologyContext.this.CellT, CellularHomologyContext.this.CoefficientT])], stream: CellStream[CellularHomologyContext.this.CellT, CellularHomologyContext.this.FiltrationT], var current: CellularHomologyContext.this.FiltrationT, barcode: ArrayDeque[(Int, CellularHomologyContext.this.FiltrationT, CellularHomologyContext.this.FiltrationT, Chain[CellularHomologyContext.this.CellT, CellularHomologyContext.this.CoefficientT])])

Attributes

Inherited from:
CellularHomologyContext
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

def persistentHomology(stream: => CellStream[Simplex[VertexT], FiltrationT]): HomologyState

Attributes

Inherited from:
CellularHomologyContext

Concrete fields

val chainIsRingModule: is[Chain[Simplex[VertexT], CoefficientT], RingModule { type R = CoefficientT; }]

Givens

Givens

given given_Conversion_Simplex_Chain: [T : Ordering] => Conversion[Simplex[T], Chain[Simplex[T], CoefficientT]]

Exports

Defined exports

type R = chainIsRingModule.R
Exported from RingModule
type Self = chainIsRingModule.Self
Exported from RingModule
def zero: Self
Exported from RingModule
Generated with