Chain

org.appliedtopology.tda4j.algebra.Chain
See theChain companion class
object Chain

Attributes

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

Members list

Value members

Concrete methods

def apply[CellT : Ordering, CoefficientT](cs: (CellT, CoefficientT)*): Chain[CellT, CoefficientT]
def apply[CellT, CoefficientT](c: CellT)(using evidence$1: Ordering[CellT], fld: Field { type Self = CoefficientT; }): Chain[CellT, CoefficientT]
def empty[CellT : Ordering, CoefficientT]: Chain[CellT, CoefficientT]
def from[CellT, CoefficientT](cs: Seq[(CellT, CoefficientT)])(using ord: Ordering[CellT], evidence$1: Field { type Self = CoefficientT; }): Chain[CellT, CoefficientT]
final def reduceBy[CellT : Ordering, CoefficientT](z: Chain[CellT, CoefficientT], basis: Map[CellT, Chain[CellT, CoefficientT]], reductionLog: Chain[CellT, CoefficientT], fallback: CellT => Option[Chain[CellT, CoefficientT]] = ...): (Chain[CellT, CoefficientT], Chain[CellT, CoefficientT])
final def reduceByUntil[CellT : Ordering, CoefficientT](z: Chain[CellT, CoefficientT], basis: Map[CellT, Chain[CellT, CoefficientT]], reductionLog: Chain[CellT, CoefficientT], stop: CellT => Boolean = ..., fallback: CellT => Option[Chain[CellT, CoefficientT]] = ...): (Chain[CellT, CoefficientT], Chain[CellT, CoefficientT])

Givens

Givens

given chainIsOrderedBasis: [CellT, CoefficientT] => (Ordering[CellT], Field { type Self = CoefficientT; }) => chainIsOrderedBasis[CellT, CoefficientT]
given given_is_Chain_RingModule: [CellT, CoefficientT] => (Ordering[CellT], Field { type Self = CoefficientT; }) => is[Chain[CellT, CoefficientT], RingModule { type R = CoefficientT; }]

Extensions

Extensions

extension [CellT, CoefficientT](z: Chain[CellT, CoefficientT])
def boundary: Seq[(CellT, CoefficientT)]