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

RestrictedComplex

interface RestrictedComplex<D : Degree, BAS : BasisName, BAT : BasisName, B : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>> : Complex<D, BAS, B, S, V, M>

Types

object Companion

Properties

abstract val algebraMap: AlgebraMap<BAS, BAT, S, V, M>

open override val coeffAlgebra: Algebra<BAS, S, V, M>

abstract val degreeGroup: DegreeGroup<D>

abstract val matrixSpace: MatrixSpace<S, V, M>

abstract val name: String

originalComplex

abstract val originalComplex: Complex<D, BAT, B, S, V, M>

underlyingDGVectorSpace

abstract val underlyingDGVectorSpace: DGVectorSpace<D, B, S, V, M>

Functions

getDifferential

abstract fun getDifferential(degree: D): ModuleMap<BAS, B, B, S, V, M>

open fun getDifferential(degree: Int): ModuleMap<BAS, B, B, S, V, M>

abstract fun getModule(degree: D): Module<BAS, B, S, V, M>

open fun getModule(degree: Int): Module<BAS, B, S, V, M>