kohomology/com.github.shwaka.kohomology.resol.complex/ChainMapFromFreeComplex

ChainMapFromFreeComplex

interface ChainMapFromFreeComplex<D : Degree, BA : BasisName, BVS : BasisName, BT : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>> : ChainMap<D, BA, FreeModuleBasisName<BA, BVS>, BT, S, V, M>

Inheritors

Types

object Companion

Properties

abstract val name: String

abstract override val source: FreeComplex<D, BA, BVS, S, V, M>

abstract val target: Complex<D, BA, BT, S, V, M>

underlyingDGLinearMap

abstract val underlyingDGLinearMap: DGLinearMap<D, FreeModuleBasisName<BA, BVS>, BT, S, V, M>

Functions

checkChainMapAxioms

open fun checkChainMapAxioms(degreeList: List<D>)

open fun checkChainMapAxioms(minDegree: Int, maxDegree: Int)

abstract fun getModuleMap(degree: D): ModuleMap<BA, FreeModuleBasisName<BA, BVS>, BT, S, V, M>

open operator fun invoke(gVector: GVector<D, FreeModuleBasisName<BA, BVS>, S, V>): GVector<D, BT, S, V>