Module

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

Types

Companion

common

object Companion

Functions

act

common

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

findSmallGenerator

common

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

generateSubVectorSpaceOverCoefficient

common

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

getIdentity

common

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

Properties

action

common

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

coeffAlgebra

common

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

context

common

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

matrixSpace

common

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

underlyingVectorSpace

common

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

Inheritors

FreeModule

QuotModuleAlongAlgebraMap

RestrictedModule

SubModule

TrivialModule