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

ModuleBasisDecomposition

fun interface ModuleBasisDecomposition<out Number, in Vector, in Index>(source)

A functional interface for decomposing a module element into coefficients with respect to a module basis.

Type Parameters

Number

The type of scalar coefficients (from the underlying ring).

Vector

The type of module elements being decomposed.

Index

The type used to index basis elements.

Inheritors

Types

Link copied to clipboard
interface Finite<out Number, in Vector> : ModuleBasisDecomposition<Number, Vector, UInt>

A finite version of ModuleBasisDecomposition indexed by UInt.

Link copied to clipboard
interface Result<out Number, in Index>

The result of decomposing a module element: provides a common scalar and per-index coefficients. The result satisfies formula \[scalar \cdot input = \sum_{index\ i} result[i] \cdot basis[i]\]

Functions

Link copied to clipboard
abstract fun decompose(vector: Vector): ModuleBasisDecomposition.Result<Number, Index>

Decomposes a vector into coefficients with respect to the basis.

Link copied to clipboard
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.

Generated by Dokka
Copyright © 2025 Gleb Minaev
All rights reserved. Licensed under the Apache License, Version 2.0. See the license in file LICENSE