kone.linearAlgebra/dev.lounres.kone.algebraic.basis/ModuleBasisDecomposition/Finite

Finite

interface Finite<out Number, in Vector> : ModuleBasisDecomposition<Number, Vector, UInt> (source)

A finite version of ModuleBasisDecomposition indexed by UInt.

Type Parameters

Number

The type of scalar coefficients.

Vector

The type of module elements.

Inheritors

Properties

abstract val size: UInt

The number of basis elements.

Functions

abstract fun decompose(vector: Vector): ModuleBasisDecomposition.Result<Number, UInt>

Decomposes a vector into coefficients with respect to the basis.

toVectorSpaceBasisDecomposition

context(field: Field<Number>)
fun <Number, Vector> ModuleBasisDecomposition.Finite<Number, Vector>.toVectorSpaceBasisDecomposition(): VectorSpaceBasisDecomposition.Finite<Number, Vector>

Converts a finite ModuleBasisDecomposition.Finite to a VectorSpaceBasisDecomposition.Finite over a field by dividing each coefficient by the common scalar.

context(field: Field<Number>)
fun <Number, Vector, Index> ModuleBasisDecomposition<Number, Vector, Index>.toVectorSpaceBasisDecomposition(): VectorSpaceBasisDecomposition<Number, Vector, Index>

Converts a ModuleBasisDecomposition to a VectorSpaceBasisDecomposition over a field by dividing each coefficient by the common scalar.