kohomology/com.github.shwaka.kohomology.resol.module/Module

Module

interface Module<BA : BasisName, B : BasisName, S : Scalar, V : NumVector<S>, M : Matrix<S, V>>

Inheritors

QuotModuleAlongAlgebraMap

RestrictedModule

Types

object Companion

Properties

abstract val action: BilinearMap<BA, B, B, S, V, M>

abstract val coeffAlgebra: Algebra<BA, S, V, M>

abstract val context: ModuleContext<BA, B, S, V, M>

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

underlyingVectorSpace

abstract val underlyingVectorSpace: VectorSpace<B, S, V>

Functions

open fun act(a: Vector<BA, S, V>, b: Vector<B, S, V>): Vector<B, S, V>

findSmallGenerator

open fun findSmallGenerator(finder: SmallGeneratorFinder<BA, S, V, M, Algebra<BA, S, V, M>> = SmallGeneratorFinder.getDefaultFor(this.coeffAlgebra)): List<Vector<B, S, V>>

generateSubVectorSpaceOverCoefficient

open fun generateSubVectorSpaceOverCoefficient(generator: List<Vector<B, S, V>>): SubVectorSpace<B, S, V, M>

open fun getIdentity(): ModuleMap<BA, B, B, S, V, M>