toVectorSpaceBasisDecomposition

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

Receiver

The module basis decomposition to convert.

Return

A new VectorSpaceBasisDecomposition with normalized coefficients.

Context Parameters

field

The field context providing division.

Type Parameters

Number

The type of scalar coefficients.

Vector

The type of vectors.

Index

The type used to index basis elements.


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

Receiver

The finite module basis decomposition to convert.

Return

A new finite VectorSpaceBasisDecomposition with normalized coefficients.

Context Parameters

field

The field context providing division.

Type Parameters

Number

The type of scalar coefficients.

Vector

The type of vectors.


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

Receiver

The module basis to convert.

Return

A new VectorSpaceBasis with normalized coefficients.

Context Parameters

field

The field context providing division.

Type Parameters

Number

The type of scalar coefficients.

Vector

The type of vectors.

Index

The type used to index basis elements.


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

Receiver

The finite module basis to convert.

Return

A new finite VectorSpaceBasis with normalized coefficients.

Context Parameters

field

The field context providing division.

Type Parameters

Number

The type of scalar coefficients.

Vector

The type of vectors.