Finite

A finite version of ModuleBasis indexed by UInt.

Number

The type of scalar coefficients.

Vector

The type of module elements.

Properties

abstract val size: UInt

The number of basis elements.

Decomposes a vector into coefficients with respect to the basis.

abstract operator fun get(index: UInt): Vector

Returns the basis element at the given index.

Converts a finite ModuleBasis.Finite to a VectorSpaceBasis.Finite over a field by dividing each decomposition coefficient by the common scalar.

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

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

Converts a ModuleBasis to a VectorSpaceBasis over a field by dividing each decomposition coefficient by the common scalar.