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

Package-level declarations

Types

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

ChainMapAlongAlgebraMap

interface ChainMapAlongAlgebraMap<D : Degree, BAS : BasisName, BAT : BasisName, BS : BasisName, BT : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>>

ChainMapAlongAlgebraMapFromFreeComplex

interface ChainMapAlongAlgebraMapFromFreeComplex<D : Degree, BAS : BasisName, BAT : BasisName, BVS : BasisName, BT : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>> : ChainMapAlongAlgebraMap<D, BAS, BAT, FreeModuleBasisName<BAS, BVS>, BT, S, V, M>

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>

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

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

FreeChainMapAlongAlgebraMap

interface FreeChainMapAlongAlgebraMap<D : Degree, BAS : BasisName, BAT : BasisName, BVS : BasisName, BVT : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>> : ChainMapAlongAlgebraMapFromFreeComplex<D, BAS, BAT, BVS, FreeModuleBasisName<BAT, BVT>, S, V, M>

interface FreeComplex<D : Degree, BA : BasisName, BV : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>> : Complex<D, BA, FreeModuleBasisName<BA, BV>, S, V, M>

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>